2010-06-02 04:13:41 +04:00
|
|
|
#!/bin/sh
|
2005-07-26 11:30:36 +04:00
|
|
|
# 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.
|
|
|
|
|
2005-12-14 01:30:31 +03:00
|
|
|
SUBDIRECTORY_OK='Yes'
|
2010-04-24 16:15:37 +04:00
|
|
|
OPTIONS_KEEPDASHDASH=
|
2014-02-01 06:17:59 +04:00
|
|
|
OPTIONS_STUCKLONG=
|
2009-07-28 01:27:47 +04:00
|
|
|
OPTIONS_SPEC='git request-pull [options] start url [end]
|
|
|
|
--
|
|
|
|
p show patch text as well
|
|
|
|
'
|
|
|
|
|
2005-12-14 01:30:31 +03:00
|
|
|
. git-sh-setup
|
2005-07-26 11:30:36 +04:00
|
|
|
|
2009-07-01 13:40:30 +04:00
|
|
|
GIT_PAGER=
|
|
|
|
export GIT_PAGER
|
|
|
|
|
2009-07-28 01:27:47 +04:00
|
|
|
patch=
|
|
|
|
while case "$#" in 0) break ;; esac
|
|
|
|
do
|
|
|
|
case "$1" in
|
|
|
|
-p)
|
|
|
|
patch=-p ;;
|
|
|
|
--)
|
|
|
|
shift; break ;;
|
|
|
|
-*)
|
|
|
|
usage ;;
|
|
|
|
*)
|
|
|
|
break ;;
|
|
|
|
esac
|
|
|
|
shift
|
|
|
|
done
|
|
|
|
|
request-pull: more strictly match local/remote branches
The current 'request-pull' will try to find matching commit on the given
remote, and rewrite the "please pull" line to match that remote ref.
That may be very helpful if your local tree doesn't match the layout of
the remote branches, but for the common case it's been a recurring
disaster, when "request-pull" is done against a delayed remote update, and
it rewrites the target branch randomly to some other branch name that
happens to have the same expected SHA1 (or more commonly, leaves it
blank).
To avoid that recurring problem, this changes "git request-pull" so that
it matches the ref name to be pulled against the *local* repository, and
then warns if the remote repository does not have that exact same branch
or tag name and content.
This means that git request-pull will never rewrite the ref-name you gave
it. If the local branch name is "xyzzy", that is the only branch name
that request-pull will ask the other side to fetch.
If the remote has that branch under a different name, that's your problem
and git request-pull will not try to fix it up (but git request-pull will
warn about the fact that no exact matching branch is found, and you can
edit the end result to then have the remote name you want if it doesn't
match your local one).
The new "find local ref" code will also complain loudly if you give an
ambiguous refname (eg you have both a tag and a branch with that same
name, and you don't specify "heads/name" or "tags/name").
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-01-23 00:32:30 +04:00
|
|
|
base=$1 url=$2 status=0
|
2011-11-09 17:05:00 +04:00
|
|
|
|
2011-09-16 22:22:57 +04:00
|
|
|
test -n "$base" && test -n "$url" || usage
|
2013-07-17 21:28:11 +04:00
|
|
|
|
|
|
|
baserev=$(git rev-parse --verify --quiet "$base"^0)
|
|
|
|
if test -z "$baserev"
|
|
|
|
then
|
|
|
|
die "fatal: Not a valid revision: $base"
|
|
|
|
fi
|
|
|
|
|
request-pull: more strictly match local/remote branches
The current 'request-pull' will try to find matching commit on the given
remote, and rewrite the "please pull" line to match that remote ref.
That may be very helpful if your local tree doesn't match the layout of
the remote branches, but for the common case it's been a recurring
disaster, when "request-pull" is done against a delayed remote update, and
it rewrites the target branch randomly to some other branch name that
happens to have the same expected SHA1 (or more commonly, leaves it
blank).
To avoid that recurring problem, this changes "git request-pull" so that
it matches the ref name to be pulled against the *local* repository, and
then warns if the remote repository does not have that exact same branch
or tag name and content.
This means that git request-pull will never rewrite the ref-name you gave
it. If the local branch name is "xyzzy", that is the only branch name
that request-pull will ask the other side to fetch.
If the remote has that branch under a different name, that's your problem
and git request-pull will not try to fix it up (but git request-pull will
warn about the fact that no exact matching branch is found, and you can
edit the end result to then have the remote name you want if it doesn't
match your local one).
The new "find local ref" code will also complain loudly if you give an
ambiguous refname (eg you have both a tag and a branch with that same
name, and you don't specify "heads/name" or "tags/name").
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-01-23 00:32:30 +04:00
|
|
|
#
|
|
|
|
# $3 must be a symbolic ref, a unique ref, or
|
2014-01-23 03:23:48 +04:00
|
|
|
# a SHA object expression. It can also be of
|
|
|
|
# the format 'local-name:remote-name'.
|
request-pull: more strictly match local/remote branches
The current 'request-pull' will try to find matching commit on the given
remote, and rewrite the "please pull" line to match that remote ref.
That may be very helpful if your local tree doesn't match the layout of
the remote branches, but for the common case it's been a recurring
disaster, when "request-pull" is done against a delayed remote update, and
it rewrites the target branch randomly to some other branch name that
happens to have the same expected SHA1 (or more commonly, leaves it
blank).
To avoid that recurring problem, this changes "git request-pull" so that
it matches the ref name to be pulled against the *local* repository, and
then warns if the remote repository does not have that exact same branch
or tag name and content.
This means that git request-pull will never rewrite the ref-name you gave
it. If the local branch name is "xyzzy", that is the only branch name
that request-pull will ask the other side to fetch.
If the remote has that branch under a different name, that's your problem
and git request-pull will not try to fix it up (but git request-pull will
warn about the fact that no exact matching branch is found, and you can
edit the end result to then have the remote name you want if it doesn't
match your local one).
The new "find local ref" code will also complain loudly if you give an
ambiguous refname (eg you have both a tag and a branch with that same
name, and you don't specify "heads/name" or "tags/name").
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-01-23 00:32:30 +04:00
|
|
|
#
|
2014-01-23 03:23:48 +04:00
|
|
|
local=${3%:*}
|
|
|
|
local=${local:-HEAD}
|
|
|
|
remote=${3#*:}
|
2014-02-26 01:44:46 +04:00
|
|
|
pretty_remote=${remote#refs/}
|
|
|
|
pretty_remote=${pretty_remote#heads/}
|
2014-01-23 03:23:48 +04:00
|
|
|
head=$(git symbolic-ref -q "$local")
|
|
|
|
head=${head:-$(git show-ref --heads --tags "$local" | cut -d' ' -f2)}
|
|
|
|
head=${head:-$(git rev-parse --quiet --verify "$local")}
|
request-pull: more strictly match local/remote branches
The current 'request-pull' will try to find matching commit on the given
remote, and rewrite the "please pull" line to match that remote ref.
That may be very helpful if your local tree doesn't match the layout of
the remote branches, but for the common case it's been a recurring
disaster, when "request-pull" is done against a delayed remote update, and
it rewrites the target branch randomly to some other branch name that
happens to have the same expected SHA1 (or more commonly, leaves it
blank).
To avoid that recurring problem, this changes "git request-pull" so that
it matches the ref name to be pulled against the *local* repository, and
then warns if the remote repository does not have that exact same branch
or tag name and content.
This means that git request-pull will never rewrite the ref-name you gave
it. If the local branch name is "xyzzy", that is the only branch name
that request-pull will ask the other side to fetch.
If the remote has that branch under a different name, that's your problem
and git request-pull will not try to fix it up (but git request-pull will
warn about the fact that no exact matching branch is found, and you can
edit the end result to then have the remote name you want if it doesn't
match your local one).
The new "find local ref" code will also complain loudly if you give an
ambiguous refname (eg you have both a tag and a branch with that same
name, and you don't specify "heads/name" or "tags/name").
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-01-23 00:32:30 +04:00
|
|
|
|
|
|
|
# None of the above? Bad.
|
2014-01-23 03:23:48 +04:00
|
|
|
test -z "$head" && die "fatal: Not a valid revision: $local"
|
request-pull: more strictly match local/remote branches
The current 'request-pull' will try to find matching commit on the given
remote, and rewrite the "please pull" line to match that remote ref.
That may be very helpful if your local tree doesn't match the layout of
the remote branches, but for the common case it's been a recurring
disaster, when "request-pull" is done against a delayed remote update, and
it rewrites the target branch randomly to some other branch name that
happens to have the same expected SHA1 (or more commonly, leaves it
blank).
To avoid that recurring problem, this changes "git request-pull" so that
it matches the ref name to be pulled against the *local* repository, and
then warns if the remote repository does not have that exact same branch
or tag name and content.
This means that git request-pull will never rewrite the ref-name you gave
it. If the local branch name is "xyzzy", that is the only branch name
that request-pull will ask the other side to fetch.
If the remote has that branch under a different name, that's your problem
and git request-pull will not try to fix it up (but git request-pull will
warn about the fact that no exact matching branch is found, and you can
edit the end result to then have the remote name you want if it doesn't
match your local one).
The new "find local ref" code will also complain loudly if you give an
ambiguous refname (eg you have both a tag and a branch with that same
name, and you don't specify "heads/name" or "tags/name").
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-01-23 00:32:30 +04:00
|
|
|
|
|
|
|
# This also verifies that the resulting head is unique:
|
|
|
|
# "git show-ref" could have shown multiple matching refs..
|
2013-07-17 21:28:11 +04:00
|
|
|
headrev=$(git rev-parse --verify --quiet "$head"^0)
|
2014-01-23 03:23:48 +04:00
|
|
|
test -z "$headrev" && die "fatal: Ambiguous revision: $local"
|
request-pull: more strictly match local/remote branches
The current 'request-pull' will try to find matching commit on the given
remote, and rewrite the "please pull" line to match that remote ref.
That may be very helpful if your local tree doesn't match the layout of
the remote branches, but for the common case it's been a recurring
disaster, when "request-pull" is done against a delayed remote update, and
it rewrites the target branch randomly to some other branch name that
happens to have the same expected SHA1 (or more commonly, leaves it
blank).
To avoid that recurring problem, this changes "git request-pull" so that
it matches the ref name to be pulled against the *local* repository, and
then warns if the remote repository does not have that exact same branch
or tag name and content.
This means that git request-pull will never rewrite the ref-name you gave
it. If the local branch name is "xyzzy", that is the only branch name
that request-pull will ask the other side to fetch.
If the remote has that branch under a different name, that's your problem
and git request-pull will not try to fix it up (but git request-pull will
warn about the fact that no exact matching branch is found, and you can
edit the end result to then have the remote name you want if it doesn't
match your local one).
The new "find local ref" code will also complain loudly if you give an
ambiguous refname (eg you have both a tag and a branch with that same
name, and you don't specify "heads/name" or "tags/name").
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-01-23 00:32:30 +04:00
|
|
|
|
|
|
|
# Was it a branch with a description?
|
|
|
|
branch_name=${head#refs/heads/}
|
|
|
|
if test "z$branch_name" = "z$headref" ||
|
|
|
|
! git config "branch.$branch_name.description" >/dev/null
|
2013-07-17 21:28:11 +04:00
|
|
|
then
|
request-pull: more strictly match local/remote branches
The current 'request-pull' will try to find matching commit on the given
remote, and rewrite the "please pull" line to match that remote ref.
That may be very helpful if your local tree doesn't match the layout of
the remote branches, but for the common case it's been a recurring
disaster, when "request-pull" is done against a delayed remote update, and
it rewrites the target branch randomly to some other branch name that
happens to have the same expected SHA1 (or more commonly, leaves it
blank).
To avoid that recurring problem, this changes "git request-pull" so that
it matches the ref name to be pulled against the *local* repository, and
then warns if the remote repository does not have that exact same branch
or tag name and content.
This means that git request-pull will never rewrite the ref-name you gave
it. If the local branch name is "xyzzy", that is the only branch name
that request-pull will ask the other side to fetch.
If the remote has that branch under a different name, that's your problem
and git request-pull will not try to fix it up (but git request-pull will
warn about the fact that no exact matching branch is found, and you can
edit the end result to then have the remote name you want if it doesn't
match your local one).
The new "find local ref" code will also complain loudly if you give an
ambiguous refname (eg you have both a tag and a branch with that same
name, and you don't specify "heads/name" or "tags/name").
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-01-23 00:32:30 +04:00
|
|
|
branch_name=
|
2013-07-17 21:28:11 +04:00
|
|
|
fi
|
2005-07-26 11:30:36 +04:00
|
|
|
|
2011-09-16 22:22:57 +04:00
|
|
|
merge_base=$(git merge-base $baserev $headrev) ||
|
2007-05-01 10:08:23 +04:00
|
|
|
die "fatal: No commits in common between $base and $head"
|
|
|
|
|
request-pull: more strictly match local/remote branches
The current 'request-pull' will try to find matching commit on the given
remote, and rewrite the "please pull" line to match that remote ref.
That may be very helpful if your local tree doesn't match the layout of
the remote branches, but for the common case it's been a recurring
disaster, when "request-pull" is done against a delayed remote update, and
it rewrites the target branch randomly to some other branch name that
happens to have the same expected SHA1 (or more commonly, leaves it
blank).
To avoid that recurring problem, this changes "git request-pull" so that
it matches the ref name to be pulled against the *local* repository, and
then warns if the remote repository does not have that exact same branch
or tag name and content.
This means that git request-pull will never rewrite the ref-name you gave
it. If the local branch name is "xyzzy", that is the only branch name
that request-pull will ask the other side to fetch.
If the remote has that branch under a different name, that's your problem
and git request-pull will not try to fix it up (but git request-pull will
warn about the fact that no exact matching branch is found, and you can
edit the end result to then have the remote name you want if it doesn't
match your local one).
The new "find local ref" code will also complain loudly if you give an
ambiguous refname (eg you have both a tag and a branch with that same
name, and you don't specify "heads/name" or "tags/name").
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-01-23 00:32:30 +04:00
|
|
|
# $head is the refname from the command line.
|
|
|
|
# If a ref with the same name as $head exists at the remote
|
|
|
|
# and their values match, use that.
|
2012-06-01 23:38:19 +04:00
|
|
|
#
|
|
|
|
# Otherwise find a random ref that matches $headrev.
|
2011-12-16 21:00:11 +04:00
|
|
|
find_matching_ref='
|
2014-01-23 03:23:48 +04:00
|
|
|
my ($head,$headrev) = (@ARGV);
|
2019-05-28 13:15:42 +03:00
|
|
|
my $pattern = qr{/\Q$head\E$};
|
2014-01-23 03:23:48 +04:00
|
|
|
my ($found);
|
2011-12-16 21:00:11 +04:00
|
|
|
|
|
|
|
while (<STDIN>) {
|
2014-01-23 03:23:48 +04:00
|
|
|
chomp;
|
request-pull: more strictly match local/remote branches
The current 'request-pull' will try to find matching commit on the given
remote, and rewrite the "please pull" line to match that remote ref.
That may be very helpful if your local tree doesn't match the layout of
the remote branches, but for the common case it's been a recurring
disaster, when "request-pull" is done against a delayed remote update, and
it rewrites the target branch randomly to some other branch name that
happens to have the same expected SHA1 (or more commonly, leaves it
blank).
To avoid that recurring problem, this changes "git request-pull" so that
it matches the ref name to be pulled against the *local* repository, and
then warns if the remote repository does not have that exact same branch
or tag name and content.
This means that git request-pull will never rewrite the ref-name you gave
it. If the local branch name is "xyzzy", that is the only branch name
that request-pull will ask the other side to fetch.
If the remote has that branch under a different name, that's your problem
and git request-pull will not try to fix it up (but git request-pull will
warn about the fact that no exact matching branch is found, and you can
edit the end result to then have the remote name you want if it doesn't
match your local one).
The new "find local ref" code will also complain loudly if you give an
ambiguous refname (eg you have both a tag and a branch with that same
name, and you don't specify "heads/name" or "tags/name").
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-01-23 00:32:30 +04:00
|
|
|
my ($sha1, $ref, $deref) = /^(\S+)\s+([^^]+)(\S*)$/;
|
2014-01-23 03:23:48 +04:00
|
|
|
next unless ($sha1 eq $headrev);
|
|
|
|
|
|
|
|
if ($ref eq $head) {
|
|
|
|
$found = $ref;
|
|
|
|
}
|
2019-05-28 13:15:42 +03:00
|
|
|
if ($ref =~ $pattern) {
|
2014-01-23 03:23:48 +04:00
|
|
|
$found = $ref;
|
2012-06-01 23:38:19 +04:00
|
|
|
}
|
2014-01-23 03:23:48 +04:00
|
|
|
if ($sha1 eq $head) {
|
request-pull: more strictly match local/remote branches
The current 'request-pull' will try to find matching commit on the given
remote, and rewrite the "please pull" line to match that remote ref.
That may be very helpful if your local tree doesn't match the layout of
the remote branches, but for the common case it's been a recurring
disaster, when "request-pull" is done against a delayed remote update, and
it rewrites the target branch randomly to some other branch name that
happens to have the same expected SHA1 (or more commonly, leaves it
blank).
To avoid that recurring problem, this changes "git request-pull" so that
it matches the ref name to be pulled against the *local* repository, and
then warns if the remote repository does not have that exact same branch
or tag name and content.
This means that git request-pull will never rewrite the ref-name you gave
it. If the local branch name is "xyzzy", that is the only branch name
that request-pull will ask the other side to fetch.
If the remote has that branch under a different name, that's your problem
and git request-pull will not try to fix it up (but git request-pull will
warn about the fact that no exact matching branch is found, and you can
edit the end result to then have the remote name you want if it doesn't
match your local one).
The new "find local ref" code will also complain loudly if you give an
ambiguous refname (eg you have both a tag and a branch with that same
name, and you don't specify "heads/name" or "tags/name").
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-01-23 00:32:30 +04:00
|
|
|
$found = $sha1;
|
2011-12-16 21:00:11 +04:00
|
|
|
}
|
|
|
|
}
|
2014-01-23 03:23:48 +04:00
|
|
|
if ($found) {
|
2011-12-16 21:00:11 +04:00
|
|
|
print "$found\n";
|
|
|
|
}
|
|
|
|
'
|
|
|
|
|
2014-01-23 03:23:48 +04:00
|
|
|
ref=$(git ls-remote "$url" | @@PERL@@ -e "$find_matching_ref" "${remote:-HEAD}" "$headrev")
|
request-pull: more strictly match local/remote branches
The current 'request-pull' will try to find matching commit on the given
remote, and rewrite the "please pull" line to match that remote ref.
That may be very helpful if your local tree doesn't match the layout of
the remote branches, but for the common case it's been a recurring
disaster, when "request-pull" is done against a delayed remote update, and
it rewrites the target branch randomly to some other branch name that
happens to have the same expected SHA1 (or more commonly, leaves it
blank).
To avoid that recurring problem, this changes "git request-pull" so that
it matches the ref name to be pulled against the *local* repository, and
then warns if the remote repository does not have that exact same branch
or tag name and content.
This means that git request-pull will never rewrite the ref-name you gave
it. If the local branch name is "xyzzy", that is the only branch name
that request-pull will ask the other side to fetch.
If the remote has that branch under a different name, that's your problem
and git request-pull will not try to fix it up (but git request-pull will
warn about the fact that no exact matching branch is found, and you can
edit the end result to then have the remote name you want if it doesn't
match your local one).
The new "find local ref" code will also complain loudly if you give an
ambiguous refname (eg you have both a tag and a branch with that same
name, and you don't specify "heads/name" or "tags/name").
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-01-23 00:32:30 +04:00
|
|
|
|
|
|
|
if test -z "$ref"
|
|
|
|
then
|
2014-01-23 03:23:48 +04:00
|
|
|
echo "warn: No match for commit $headrev found at $url" >&2
|
|
|
|
echo "warn: Are you sure you pushed '${remote:-HEAD}' there?" >&2
|
request-pull: more strictly match local/remote branches
The current 'request-pull' will try to find matching commit on the given
remote, and rewrite the "please pull" line to match that remote ref.
That may be very helpful if your local tree doesn't match the layout of
the remote branches, but for the common case it's been a recurring
disaster, when "request-pull" is done against a delayed remote update, and
it rewrites the target branch randomly to some other branch name that
happens to have the same expected SHA1 (or more commonly, leaves it
blank).
To avoid that recurring problem, this changes "git request-pull" so that
it matches the ref name to be pulled against the *local* repository, and
then warns if the remote repository does not have that exact same branch
or tag name and content.
This means that git request-pull will never rewrite the ref-name you gave
it. If the local branch name is "xyzzy", that is the only branch name
that request-pull will ask the other side to fetch.
If the remote has that branch under a different name, that's your problem
and git request-pull will not try to fix it up (but git request-pull will
warn about the fact that no exact matching branch is found, and you can
edit the end result to then have the remote name you want if it doesn't
match your local one).
The new "find local ref" code will also complain loudly if you give an
ambiguous refname (eg you have both a tag and a branch with that same
name, and you don't specify "heads/name" or "tags/name").
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-01-23 00:32:30 +04:00
|
|
|
status=1
|
|
|
|
fi
|
2011-12-16 21:00:11 +04:00
|
|
|
|
2014-05-16 21:18:25 +04:00
|
|
|
# Special case: turn "for_linus" to "tags/for_linus" when it is correct
|
|
|
|
if test "$ref" = "refs/tags/$pretty_remote"
|
|
|
|
then
|
|
|
|
pretty_remote=tags/$pretty_remote
|
|
|
|
fi
|
|
|
|
|
2011-03-01 12:21:37 +03:00
|
|
|
url=$(git ls-remote --get-url "$url")
|
2007-05-01 10:08:23 +04:00
|
|
|
|
2010-01-29 17:17:59 +03:00
|
|
|
git show -s --format='The following changes since commit %H:
|
2005-07-26 11:30:36 +04:00
|
|
|
|
2010-01-29 17:17:59 +03:00
|
|
|
%s (%ci)
|
|
|
|
|
2017-10-03 03:08:38 +03:00
|
|
|
are available in the Git repository at:
|
2012-01-11 09:45:52 +04:00
|
|
|
' $merge_base &&
|
2014-02-26 01:44:46 +04:00
|
|
|
echo " $url $pretty_remote" &&
|
2011-09-16 22:37:08 +04:00
|
|
|
git show -s --format='
|
|
|
|
for you to fetch changes up to %H:
|
|
|
|
|
|
|
|
%s (%ci)
|
|
|
|
|
|
|
|
----------------------------------------------------------------' $headrev &&
|
2005-07-26 11:30:36 +04:00
|
|
|
|
2014-01-30 03:08:05 +04:00
|
|
|
if test $(git cat-file -t "$head") = tag
|
2011-09-21 02:52:57 +04:00
|
|
|
then
|
2014-01-30 03:08:05 +04:00
|
|
|
git cat-file tag "$head" |
|
2011-11-09 17:05:00 +04:00
|
|
|
sed -n -e '1,/^$/d' -e '/^-----BEGIN PGP /q' -e p
|
|
|
|
echo
|
2014-01-30 03:08:05 +04:00
|
|
|
echo "----------------------------------------------------------------"
|
2011-11-09 17:05:00 +04:00
|
|
|
fi &&
|
|
|
|
|
2011-09-21 02:52:57 +04:00
|
|
|
if test -n "$branch_name"
|
2011-11-09 17:05:00 +04:00
|
|
|
then
|
2011-12-16 21:00:11 +04:00
|
|
|
echo "(from the branch description for $branch_name local branch)"
|
2011-09-21 02:52:57 +04:00
|
|
|
echo
|
|
|
|
git config "branch.$branch_name.description"
|
|
|
|
echo "----------------------------------------------------------------"
|
|
|
|
fi &&
|
2011-11-09 17:05:00 +04:00
|
|
|
|
2010-06-02 04:13:41 +04:00
|
|
|
git shortlog ^$baserev $headrev &&
|
2011-09-16 22:37:08 +04:00
|
|
|
git diff -M --stat --summary $patch $merge_base..$headrev || status=1
|
|
|
|
|
2007-05-01 10:08:23 +04:00
|
|
|
exit $status
|