Make git-pull-script do the right thing for symlinked HEAD's.