git-pull: Avoid merge-base on detached head