Is GitHub Pull Request page copy broken?

(imgur.com) by __natty__ | May 27, 2026 | 0 comments on HN