> I think we need to have a little more sympathy for GitHub

We certainly do not.