diff --git a/git-request-pull.sh b/git-request-pull.sh
index 5917773240dfb2e8b5f078afee22a3d9bf607ce3..fd95beadab6aa01fc3fb26c7d72ba182201f8502 100755 (executable)
--- a/git-request-pull.sh
+++ b/git-request-pull.sh
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