From d74c6543f3dac4bb6bcc7d17482d2b1f3d7c7354 Mon Sep 17 00:00:00 2001
From: Junio C Hamano <junkio@cox.net>
Date: Mon, 25 Dec 2006 22:21:09 -0800
Subject: [PATCH] Add --no-fetch option to KO

---
 KO | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/KO b/KO
index 546069915c..2a6f301250 100755
--- a/KO
+++ b/KO
@@ -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