undefined | Better HN

0 pointsgpm1y ago0 comments

[Deleted per below]

0 comments

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

gpmOP1y ago

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

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.

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

Jyaif1y ago