What’s the solution to the «git checkout master && git pull && git checkout branch && git merge master» dance?