request-pull: do not emit "tag" before the tagname
commitf032d66ddb0cc81807be14c6a9052367df6d1cbc
authorJunio C Hamano <gitster@pobox.com>
Mon, 19 Dec 2011 19:59:57 +0000 (19 11:59 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 19 Dec 2011 19:59:57 +0000 (19 11:59 -0800)
tree76af5ebe26b8406b9db11223252df78aa5194bda
parentfe46fa9d267fc5465b320d0d2877de45333efeb8
request-pull: do not emit "tag" before the tagname

The whole point of the recent update to allow "git pull $url $tagname" is
so that the integrator does not have to store the (signed) tag that is
used to convey authenticity to be recorded in the resulting merge in the
local repository's tag namespace.  Asking for a merge be made with "git
pull $url tag $tagname" defeats it.

Note that the request can become ambiguous if the requestor has a branch
with the same name as the tag, but that is not a new problem limited to
pulling. I wouldn't mind if somebody wants to add disambiguation to the
find_matching_ref logic in the script as a separate patch, though.

Signed-off-by: Junio C Hamano <gitster@pobox.com>
git-request-pull.sh
t/t5150-request-pull.sh