> Doesn't appear so. They did get an HR person, but an experienced one? Not a chance. No experienced HR person would have let any of that get as far as it got. That HR person should probably be put on leave or be fired as well.

The HR person has been on the job for a minimum of 31 business days and a maximum of 53. Horvath joined two years ago. Unless you are a GitHub insider, you currently are working off knowledge from a single source in which the information was provided by a person with a specific agenda. It is malicious to call for the HR person's job given your almost complete dearth of information.