Code

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)
commit4fed4c809a9ed73c7147ad33f14eacc82700f41e
tree8b5b9c8f725c87e45a676b0380703e172d4871d3
parent184a7aa7bf8e42ce9aba12b92d9cf8014d04a947
parent2ad9ba0382ca0d9a36746db804d1bf01f5281b8e
Merge branch 'jc/maint-request-pull-for-tag' into maint

* jc/maint-request-pull-for-tag:
  request-pull: explicitly ask tags/$name to be pulled