Make git-pull-script do the right thing for symlinked HEAD's.
[git] / git-prune-script
2005-04-18  Linus TorvaldsAdd the simple scripts I used to do a merge with conten...