summaryrefslogtreecommitdiff
path: root/git-request-pull.sh
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2011-12-19 11:59:57 -0800
committerJunio C Hamano <gitster@pobox.com>2011-12-19 11:59:57 -0800
commitf032d66ddb0cc81807be14c6a9052367df6d1cbc (patch)
tree76af5ebe26b8406b9db11223252df78aa5194bda /git-request-pull.sh
parentfe46fa9d267fc5465b320d0d2877de45333efeb8 (diff)
downloadgit-f032d66ddb0cc81807be14c6a9052367df6d1cbc.tar.gz
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>
Diffstat (limited to 'git-request-pull.sh')
-rwxr-xr-xgit-request-pull.sh4
1 files changed, 1 insertions, 3 deletions
diff --git a/git-request-pull.sh b/git-request-pull.sh
index 7b5c777f0b..d7ba1178ae 100755
--- a/git-request-pull.sh
+++ b/git-request-pull.sh
@@ -63,10 +63,8 @@ die "fatal: No commits in common between $base and $head"
find_matching_ref='
sub abbr {
my $ref = shift;
- if ($ref =~ s|refs/heads/||) {
+ if ($ref =~ s|refs/heads/|| || $ref =~ s|refs/tags/||) {
return $ref;
- } elsif ($ref =~ s|refs/tags/||) {
- return "tag $ref";
} else {
return $ref;
}