projects
/
git.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Add "--summary" option to git diff.
[git.git]
/
git-push.sh
diff --git
a/git-push.sh
b/git-push.sh
index
73dcf06
..
f10cadb
100755
(executable)
--- a/
git-push.sh
+++ b/
git-push.sh
@@
-8,7
+8,7
@@
USAGE='[--all] [--tags] [--force] <repository> [<refspec>...]'
has_all=
has_force=
has_exec=
-has_thin=
+has_thin=
--thin
remote=
do_tags=
@@
-24,7
+24,9
@@
do
--exec=*)
has_exec="$1" ;;
--thin)
- has_thin="$1" ;;
+ ;; # noop
+ --no-thin)
+ has_thin= ;;
-*)
usage ;;
*)