I read some of the comments on the pull request and the commits. This is the worst part of Github, these kinds of public massive flame wars, complete with animated gifs. I think Github should have moderation features for situations like this. Even though they're not common, they're damaging the constructive atmosphere that's usually present.