Merge branch 'jc/request-pull-match-tagname'
authorJunio C Hamano <gitster@pobox.com>
Thu, 21 Jun 2012 21:41:57 +0000 (14:41 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 21 Jun 2012 21:41:57 +0000 (14:41 -0700)
commit2b022f62ab26be1a51b1be9c76f3e73e3a5a2b38
treef5f3dcbe929a1180a94c5fd4eee93e90c762dc23
parent486fcbc458ecb1ee906dcb67a8a7bfe933614111
parent682853e687ff0106bea25bdb5e9d60d9657cecb3
Merge branch 'jc/request-pull-match-tagname'

"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