diff options
Diffstat (limited to 'git-request-pull-script')
| -rwxr-xr-x | git-request-pull-script | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/git-request-pull-script b/git-request-pull-script deleted file mode 100755 index ae6cd272ba..0000000000 --- a/git-request-pull-script +++ /dev/null @@ -1,35 +0,0 @@ -#!/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 |
