diff options
Diffstat (limited to 'git-request-pull.sh')
-rwxr-xr-x | git-request-pull.sh | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/git-request-pull.sh b/git-request-pull.sh new file mode 100755 index 0000000000..ae6cd272ba --- /dev/null +++ b/git-request-pull.sh @@ -0,0 +1,35 @@ +#!/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() +{ + echo "$0 <commit> <url> [ <head> ]" + echo " Summarizes the changes since <commit> to the standard output," + echo " and includes <url> in the message generated." + exit 1 +} + +revision=$1 +url=$2 +head=${3-HEAD} + +[ "$revision" ] || usage +[ "$url" ] || usage + +baserev=`git-rev-parse --verify "$revision"^0` && +headrev=`git-rev-parse --verify "$head"^0` || exit + +echo "The following changes since commit $baserev:" +git log --max-count=1 --pretty=short "$baserev" | +git-shortlog | sed -e 's/^\(.\)/ \1/' + +echo "are found in the git repository at:" +echo +echo " $url" +echo + +git log $baserev..$headrev | git-shortlog ; +git diff $baserev..$headrev | git-apply --stat --summary |