Andrew's git / gitweb.git / diff
?
Merge branch 'jc/request-pull-show-head-4'
authorJunio C Hamano <gitster@pobox.com>
Tue, 20 Dec 2011 21:25:27 +0000 (13:25 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 20 Dec 2011 21:25:27 +0000 (13:25 -0800)
* jc/request-pull-show-head-4:
request-pull: do not emit "tag" before the tagname
request-pull: update the "pull" command generation logic

Trivial merge