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)
commitdc347e9f6a2c106bb684d93dfbc38e3f3df2795b
treef06144e5a57ded1b672eda1a35657f7aa8399912
parent715d13046060028ee33b9db3500ea66eeead7e20
parent2ad9ba0382ca0d9a36746db804d1bf01f5281b8e
Merge branch 'jc/maint-request-pull-for-tag'

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