Make git-pull-script do the right thing for symlinked HEAD's.
authorLinus Torvalds <torvalds@ppc970.osdl.org.(none)>
Tue, 19 Apr 2005 16:53:58 +0000 (09:53 -0700)
committerLinus Torvalds <torvalds@ppc970.osdl.org.(none)>
Tue, 19 Apr 2005 16:53:58 +0000 (09:53 -0700)
Also exit gracefully if the HEAD pull failed, rather than use
a possibly stale MERGE_HEAD.

No differences found