diff options
| author | Junio C Hamano <gitster@pobox.com> | 2009-07-01 19:40:16 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-07-01 19:40:16 -0700 |
| commit | 3eb1e8ee1f968e9bb5ade30f17d1f49396b4c81c (patch) | |
| tree | 9d6e9655a16488d2f0e022c44866dea90260268c | |
| parent | 8715227df65071b38a3c91553cdb51365aa5cfd9 (diff) | |
| parent | 653a31c16a0b83c11f00eb94ef49857ce8f2e37b (diff) | |
| download | git-3eb1e8ee1f968e9bb5ade30f17d1f49396b4c81c.tar.gz | |
Merge branch 'maint'
* maint:
request-pull: really really disable pager
| -rwxr-xr-x | git-request-pull.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/git-request-pull.sh b/git-request-pull.sh index ab2dd10498..5917773240 100755 --- a/git-request-pull.sh +++ b/git-request-pull.sh @@ -12,6 +12,9 @@ OPTIONS_SPEC= . git-sh-setup . git-parse-remote +GIT_PAGER= +export GIT_PAGER + base=$1 url=$2 head=${3-HEAD} @@ -34,7 +37,7 @@ branch=$(git ls-remote "$url" \ }") if [ -z "$branch" ]; then echo "warn: No branch of $url is at:" >&2 - git log --max-count=1 --pretty='format:warn: %h: %s' $headrev >&2 + git log --max-count=1 --pretty='tformat:warn: %h: %s' $headrev >&2 echo "warn: Are you sure you pushed $head there?" >&2 echo >&2 echo >&2 @@ -42,8 +45,6 @@ if [ -z "$branch" ]; then status=1 fi -GIT_PAGER= -export GIT_PAGER echo "The following changes since commit $baserev:" git shortlog --max-count=1 $baserev | sed -e 's/^\(.\)/ \1/' |