[PATCH 3/4] git-fetch: Add --recover option

From

Sergey Vlasov <vsu@altlinux.ru>

Date

Sep 14, 2005, 12:47 UTC

Message-ID

<20050914124737.GF24405@master.mivlgu.local>

In-Reply-To

<20050914124206.GC24405@master.mivlgu.local>

---

 I would add the documentation in the same patch, but noticed that
 other options of git-fetch were not documented, so I made a separate
 patch which documents all of them.

 git-fetch.sh |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)

e19be8e89d20745918c76c4b587c286cef88d023

diff --git a/git-fetch.sh b/git-fetch.sh
--- a/git-fetch.sh
+++ b/git-fetch.sh
@@ -8,6 +8,7 @@ _x40="$_x40$_x40$_x40$_x40$_x40$_x40$_x4
 append=
 force=
 update_head_ok=
+recover_option=
 while case "$#" in 0) break ;; esac
 do
 	case "$1" in
@@ -22,6 +23,9 @@ do
 	--update-head-o|--update-head-ok)
 		update_head_ok=t
 		;;
+	-r|--r|--re|--rec|--reco|--recov|--recove|--recover)
+		recover_option="--recover"
+		;;
 	*)
 		break
 		;;
@@ -179,7 +183,7 @@ do
 	expr "$head" : "$_x40\$" >/dev/null ||
 		die "Failed to fetch $remote_name from $remote"
 	echo Fetching "$remote_name from $remote" using http
-	git-http-fetch -v -a "$head" "$remote/" || exit
+	git-http-fetch -v -a $recover_option "$head" "$remote/" || exit
 	;;
     rsync://*)
 	TMP_HEAD="$GIT_DIR/TMP_HEAD"