How to merge branches in GitHub? With comparison of merge options | Hacker News Reader