Which is passed on to git diff. I very need this option instead of
changing the terminal size.
Signed-off-by: Jiri Slaby <jsl...@suse.cz>
---
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 majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
