diff options
| author | Junio C Hamano <gitster@pobox.com> | 2007-07-03 09:52:14 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-07-03 09:52:14 +0400 |
| commit | 5be60078c935ed08ee8eb5a32680bdfb6bb5bdf3 (patch) | |
| tree | 9f68d81a31f8dfe7af6096e7beac2dc0997c143a /git-request-pull.sh | |
| parent | 36e5e70e0f40cf7ca4351b8159d68f8560a2805f (diff) | |
Rewrite "git-frotz" to "git frotz"
This uses the remove-dashes target to replace "git-frotz" to "git frotz".
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-request-pull.sh')
| -rwxr-xr-x | git-request-pull.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-request-pull.sh b/git-request-pull.sh index ba577d4ce1..a992430679 100755 --- a/git-request-pull.sh +++ b/git-request-pull.sh @@ -18,8 +18,8 @@ head=${3-HEAD} [ "$base" ] || usage [ "$url" ] || usage -baserev=`git-rev-parse --verify "$base"^0` && -headrev=`git-rev-parse --verify "$head"^0` || exit +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" |