disconnect from remote helpers more gently
[git/dscho.git] / git-request-pull.sh
blobfc080cc5e45d02e618e7224c052de1be676f4360
1 #!/bin/sh
2 # Copyright 2005, Ryan Anderson <ryan@michonline.com>
4 # This file is licensed under the GPL v2, or a later version
5 # at the discretion of Linus Torvalds.
7 USAGE='<start> <url> [<end>]'
8 LONG_USAGE='Summarizes the changes between two commits to the standard output,
9 and includes the given URL in the generated summary.'
10 SUBDIRECTORY_OK='Yes'
11 OPTIONS_KEEPDASHDASH=
12 OPTIONS_SPEC='git request-pull [options] start url [end]
14 p show patch text as well
17 . git-sh-setup
19 GIT_PAGER=
20 export GIT_PAGER
22 patch=
23 while case "$#" in 0) break ;; esac
25 case "$1" in
26 -p)
27 patch=-p ;;
28 --)
29 shift; break ;;
30 -*)
31 usage ;;
33 break ;;
34 esac
35 shift
36 done
38 base=$1
39 url=$2
40 head=${3-HEAD}
42 [ "$base" ] || usage
43 [ "$url" ] || usage
45 baserev=`git rev-parse --verify "$base"^0` &&
46 headrev=`git rev-parse --verify "$head"^0` || exit
48 merge_base=`git merge-base $baserev $headrev` ||
49 die "fatal: No commits in common between $base and $head"
51 branch=$(git ls-remote "$url" \
52 | sed -n -e "/^$headrev refs.heads./{
53 s/^.* refs.heads.//
56 }")
57 url=$(git ls-remote --get-url "$url")
58 if [ -z "$branch" ]; then
59 echo "warn: No branch of $url is at:" >&2
60 git log --max-count=1 --pretty='tformat:warn: %h: %s' $headrev >&2
61 echo "warn: Are you sure you pushed $head there?" >&2
62 echo >&2
63 echo >&2
64 branch=..BRANCH.NOT.VERIFIED..
65 status=1
68 git show -s --format='The following changes since commit %H:
70 %s (%ci)
72 are available in the git repository at:' $baserev &&
73 echo " $url $branch" &&
74 echo &&
76 git shortlog ^$baserev $headrev &&
77 git diff -M --stat --summary $patch $merge_base..$headrev || exit
78 exit $status