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

Trivial merge