git-pull.sh: better warning message for "git pull" on detached head.