Git: fetch and merge, don’t pull | Hacker News Reader