Git: fetch and merge, don’t pull · HackerTrans