diff options
| author | Junio C Hamano <gitster@pobox.com> | 2009-07-29 00:00:56 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-07-29 00:00:56 -0700 |
| commit | 441b40d833fdfa93eb2908e52742248faf0ee993 (patch) | |
| tree | 7c2096b1e40268de02b7f6b55fb81780176e2d60 /git-request-pull.sh | |
| parent | f552e51ef9d376c17fa707b7af9582108f4ec81c (diff) | |
| parent | e276f018f2c1f0fc962fbe44a36708d1cdebada8 (diff) | |
| download | git-441b40d833fdfa93eb2908e52742248faf0ee993.tar.xz | |
Sync with 1.6.3.4
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-request-pull.sh')
| -rwxr-xr-x | git-request-pull.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-request-pull.sh b/git-request-pull.sh index 5917773240..fd95beadab 100755 --- a/git-request-pull.sh +++ b/git-request-pull.sh @@ -28,13 +28,13 @@ headrev=`git rev-parse --verify "$head"^0` || exit merge_base=`git merge-base $baserev $headrev` || die "fatal: No commits in common between $base and $head" -url=$(get_remote_url "$url") branch=$(git ls-remote "$url" \ | sed -n -e "/^$headrev refs.heads./{ s/^.* refs.heads.// p q }") +url=$(get_remote_url "$url") if [ -z "$branch" ]; then echo "warn: No branch of $url is at:" >&2 git log --max-count=1 --pretty='tformat:warn: %h: %s' $headrev >&2 |