Linus Torvalds c5434dead6 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.

2005-05-25 14:05:13 -07:00

419 B

Executable File

Raw Blame History

View Raw