Felipe Contreras wrote:
> diff --git a/git-request-pull.sh b/git-request-pull.sh
> index ebf1269..6348dac 100755
> --- a/git-request-pull.sh
> +++ b/git-request-pull.sh
> @@ -89,7 +89,7 @@ find_matching_ref='
> my ($sha1, $ref, $deref) = /^(\S+)\s+(\S+?)(\^\{\})?$/;
> next unless ($sha1 eq $ARGV[1]);
> $found = abbr($ref);
> - if ($deref && $ref eq "tags/$ARGV[2]") {
> + if ($deref && $ref eq "refs/tags/$ARGV[2]") {
I've never used request-pull, but this seems correct.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html