diff options
author | Junio C Hamano <gitster@pobox.com> | 2009-06-30 11:29:36 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-06-30 11:33:30 -0700 |
commit | 476cc724242e715c150dce0d26d2feabe2dbe5e1 (patch) | |
tree | 60da4979ffbe99bf2a79a7291f859bfd96b36023 | |
parent | 21d777f2577a8003d12bdc1c5f3c1ff68750c598 (diff) | |
download | git-476cc724242e715c150dce0d26d2feabe2dbe5e1.tar.gz |
request-pull: really disable pager
ff06c74 (Improve request-pull to handle non-rebased branches, 2007-05-01)
attempted to disable pager when running subcommands in this script, but
with a wrong variable. If GIT_PAGER is set, it takes precedence over
PAGER.
Noticed by Michal Marek.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-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 a2cf5b8215..ab2dd10498 100755 --- a/git-request-pull.sh +++ b/git-request-pull.sh @@ -42,8 +42,8 @@ if [ -z "$branch" ]; then status=1 fi -PAGER= -export PAGER +GIT_PAGER= +export GIT_PAGER echo "The following changes since commit $baserev:" git shortlog --max-count=1 $baserev | sed -e 's/^\(.\)/ \1/' |