Which is passed on to git diff. I very need this option instead of changing the terminal size. Signed-off-by: Jiri Slaby <jslaby@xxxxxxx> --- git-request-pull.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/git-request-pull.sh b/git-request-pull.sh index 5c1599752314..a23f03fddec0 100755 --- a/git-request-pull.sh +++ b/git-request-pull.sh @@ -13,6 +13,7 @@ OPTIONS_STUCKLONG= OPTIONS_SPEC='git request-pull [options] start url [end] -- p show patch text as well +stat= specify stat output (see man git-diff for details) ' . git-sh-setup @@ -21,11 +22,16 @@ GIT_PAGER= export GIT_PAGER patch= +stat=--stat while case "$#" in 0) break ;; esac do case "$1" in -p) patch=-p ;; + --stat) + stat="$1=$2" + shift + ;; --) shift; break ;; -*) @@ -152,6 +158,6 @@ then fi && git shortlog ^$baserev $headrev && -git diff -M --stat --summary $patch $merge_base..$headrev || status=1 +git diff -M $stat --summary $patch $merge_base..$headrev || status=1 exit $status -- 1.9.2 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html