Best Way To Merge A (GitHub) Pull Request | Hacker News Reader