mirror of
https://github.com/git/git.git
synced 2024-11-05 08:47:56 +01:00
3eb91bfc0d
The usage string of 'git request-pull' differs from he manpage which gives the correct 'synopsis'. Signed-off-by: Stefan Naewe <stefan.naewe@atlas-elektronik.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
57 lines
1.4 KiB
Bash
Executable file
57 lines
1.4 KiB
Bash
Executable file
#!/bin/sh -e
|
|
# Copyright 2005, Ryan Anderson <ryan@michonline.com>
|
|
#
|
|
# This file is licensed under the GPL v2, or a later version
|
|
# at the discretion of Linus Torvalds.
|
|
|
|
USAGE='<start> <url> [<end>]'
|
|
LONG_USAGE='Summarizes the changes between two commits to the standard output,
|
|
and includes the given URL in the generated summary.'
|
|
SUBDIRECTORY_OK='Yes'
|
|
OPTIONS_SPEC=
|
|
. git-sh-setup
|
|
. git-parse-remote
|
|
|
|
base=$1
|
|
url=$2
|
|
head=${3-HEAD}
|
|
|
|
[ "$base" ] || usage
|
|
[ "$url" ] || usage
|
|
|
|
baserev=`git rev-parse --verify "$base"^0` &&
|
|
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
|
|
}")
|
|
if [ -z "$branch" ]; then
|
|
echo "warn: No branch of $url is at:" >&2
|
|
git log --max-count=1 --pretty='format:warn: %h: %s' $headrev >&2
|
|
echo "warn: Are you sure you pushed $head there?" >&2
|
|
echo >&2
|
|
echo >&2
|
|
branch=..BRANCH.NOT.VERIFIED..
|
|
status=1
|
|
fi
|
|
|
|
PAGER=
|
|
export PAGER
|
|
echo "The following changes since commit $baserev:"
|
|
git shortlog --max-count=1 $baserev | sed -e 's/^\(.\)/ \1/'
|
|
|
|
echo "are available in the git repository at:"
|
|
echo
|
|
echo " $url $branch"
|
|
echo
|
|
|
|
git shortlog ^$baserev $headrev
|
|
git diff -M --stat --summary $merge_base $headrev
|
|
exit $status
|