Merge branch 'jc/request-pull-match-tagname' into maint
authorJunio C Hamano <gitster@pobox.com>
Wed, 11 Jul 2012 19:43:58 +0000 (12:43 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 11 Jul 2012 19:43:58 +0000 (12:43 -0700)
commitfb60f344e441788040dbeec8f85ccd826ceaacd1
treed6960dbf992b0fe67911b28066336b395b4ffc66
parent3b942e9df7314f40d99e6aaa2c62070bb36024c5
parent682853e687ff0106bea25bdb5e9d60d9657cecb3
Merge branch 'jc/request-pull-match-tagname' into maint

"git request-pull $url dev" when the tip of "dev" branch was tagged
with "ext4-for-linus" used the contents from the tag in the output
but still asked the "dev" branch to be pulled, not the tag.

* jc/request-pull-match-tagname:
  request-pull: really favor a matching tag