git-pull-script: pretty-print the merge head information
commitc5434dead6a52a48c520dfa3d8ed24dc3673ab1a
authorLinus Torvalds <torvalds@ppc970.osdl.org>
Wed, 25 May 2005 21:05:13 +0000 (25 14:05 -0700)
committerLinus Torvalds <torvalds@ppc970.osdl.org>
Wed, 25 May 2005 21:05:13 +0000 (25 14:05 -0700)
tree079bd704c190d5787568e5daf0eab569d74c7f72
parentea88ee46de82bf1e398d0cfef05e3dcdf48b1b88
git-pull-script: pretty-print the merge head information

This also drops the common ".git" part from the end of the repo
name, and if a non-default head reference is given, makes a nicer
commit message about it.
git-pull-script