Is GitHub Pull Request page copy broken?

3 points | by __natty__ 7 hours ago