Code

git-pull: disallow implicit merging to detached HEAD