git-pull: disallow implicit merging to detached HEAD