What is a GitHub Pull Request merge branch? (2022) | Hacker News Reader