diff options
| author | Michal Marek <mmarek@suse.cz> | 2009-07-01 11:40:30 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-07-01 13:20:00 -0700 |
| commit | 653a31c16a0b83c11f00eb94ef49857ce8f2e37b (patch) | |
| tree | 56fda7f753935a311d07b464e14c56633dda4288 /dir.h | |
| parent | d4c985653a580e78db94c549bdcd71669067b8a9 (diff) | |
| download | git-653a31c16a0b83c11f00eb94ef49857ce8f2e37b.tar.gz | |
request-pull: really really disable pager
Earlier 476cc72 (request-pull: really disable pager, 2009-06-30)
tried to use the correct environment variable to disable paging
from multiple calls to "git log" and friends, but there was one
extra call to "git log" that was not covered by the trick.
Move the setting and exporting of GIT_PAGER much earlier in the
script to cover everybody.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'dir.h')
0 files changed, 0 insertions, 0 deletions