You make a good point, but bear in mind that Horvath is the first person to leave GitHub, and for this reason alone GitHub definitely isn't "most other companies". I find it credible that, even in the face of such alleged terrible accusations, GitHub would try to work things out with Horvath instead of just firing her.