Add --no-fetch option to KO

2006-12-25 22:21:09 -08:00 · 2006-12-25 22:21:09 -08:00 · d74c6543f3
parent 58fab02a67
commit d74c6543f3
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@ -3,7 +3,8 @@
 # Not for general consumption; a script I used to make sure
 # I do not accidentally push a rewound master to public.

-git fetch ko
+case "$1" in --no-fetch) shift ;; *) git fetch ko ;; esac
+
 mb=$(git merge-base ko-master master)
 h=$(git rev-parse $mb ko-master | sort -u | wc -l)
 if test "$h" != 1