GitHub's Missing Merge Option | Hacker News Reader