GitHub pull request suggestions escape repository context | Hacker News Reader