Merge branch 'maint'

diff --git a/git-pull.sh b/git-pull.sh
index 8866f2a1e2bda178ae87acb02037527d8f1abeab..1cac898a2443538144d45006b9adb3c0aaf2d1fa 100755 (executable)
--- a/git-pull.sh
+++ b/git-pull.sh
@@ -24,9 +24,9 @@ while :
 do
        case "$1" in
        -q|--quiet)
-               verbosity=-q ;;
+               verbosity="$verbosity -q" ;;
        -v|--verbose)
-               verbosity=-v ;;
+               verbosity="$verbosity -v" ;;
        -n|--no-stat|--no-summary)
                no_stat=-n ;;
        --stat|--summary)