Apparently her exit from Github was to be a secret, but an anonymous person publicly posted about it to a social network with a nasty comment. So somebody inside Github leaked it. To the mattresses!