What should Github do?

My take: The founder leaves, at least for six months, and his wife has no further involvement ever. The clueless spurned programmer leaves, at very least works from home for six months or more but is preferably publicly fired. His behaviour is unacceptably unprofessional and as good as he might be it's not good enough to destroy a culture. The entire team (and many commenters here need this too) get coached on why its rude to stare at people, even if they are hula hooping or different. And of course a public apology (and hurry), financial support for an appropriate cause and make Ms Horvath financially happy.

It will be interesting to see the actual response. The immediate one should be to stand all the protagonists down.