Couldn't find anything official to verify that, or any previous comments on Hacker News / Github mentioning someone being fired. Could you provide some supporting information?
like the other respondents I'd just really appreciate if you at least casually attributed what you've stated to where you heard it, e.g. "heard from someone who worked there" or just heard from whoever. I believe you, since you made an account for this comment, as far as your attribution remember you're anonymous here, it's not going to get back to you.