undefined | Better HN

0 pointsgpm2y ago0 comments

[Deleted per below]

0 pointsgpm2y ago0 comments

[Deleted per below]

0 comments

6 comments · 3 top-level

TeMPOraL2y ago· 2 in thread

Can you stay in that org after leaving Google?

whoever is in charge of removing people from the Google github org has the itchiest trigger finger in the whole exiting-the-company process tree.

Jyaif2y ago· 1 in thread

You are not looking at the right profile. This is the profile that people are talking about: https://github.com/jaredallard

gpmOP2y ago

Oops, you're absolutely correct. Deleted (via edit) my comment above. Thanks.

He was just (50 minutes ago) removed from the oss fuzz repo.

I hope this also (at least temporarily until verification of 'bad/good') remove him from the org?

j / k navigate · click thread line to collapse