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