Andrew's git / gitweb.git / diff
?
Merge branch 'jc/maint-request-pull-for-tag' into maint
authorJunio C Hamano <gitster@pobox.com>
Fri, 10 Feb 2012 21:59:02 +0000 (13:59 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 10 Feb 2012 21:59:02 +0000 (13:59 -0800)
* jc/maint-request-pull-for-tag:
request-pull: explicitly ask tags/$name to be pulled

Trivial merge