fix devscripts repo

[etc/myrepos.git] / .mr / base

diff --git a/.mr/base b/.mr/base
index 3fd88429f14ce270df6f3a6623672df821ecdcaf..df43f756bcdb026e41a43cd93551915f4c2914a8 100644 (file)
--- a/.mr/base
+++ b/.mr/base
@@ -19,15 +19,22 @@ checkout = git_fake_bare_checkout 'ssh://git.madduck.net/srv/git/git.madduck.net
 
 [code/mr]
 checkout = checkout_hack_branch mr \
 
 [code/mr]
 checkout = checkout_hack_branch mr \

-       joeyh git://git.kitenet.net/mr \
-       ssh://git.madduck.net/~/git/pub/code/mr.git
-       ln -fs ../code/mr/mr ~/.bin/mr
-       git branch vcsh origin/vcsh
-update = case "$(git config --get remote.origin.url)" in \
-            *git.madduck.net*) git pull "$@";; \
-            *) git remote add joeyh git://git.kitenet.net/mr; \
-               git remote update; \
-               git checkout -b joeyh joeyh/master;; \
+        joeyh git://git.kitenet.net/mr \
+        ssh://git.madduck.net/~/git/pub/code/mr.git
+        ln -fs ../code/mr/mr ~/.bin/mr
+        git branch vcsh origin/vcsh
+update = case "$(git config --get remote.origin.url)" in
+           *git.madduck.net*) git pull "$@";;
+           *) git remote add joeyh git://git.kitenet.net/mr || :
+              git fetch joeyh
+              git checkout -b joeyh joeyh/master || :
+              git branch -d master || :
+              git remote rm origin || :
+              git remote add origin ssh://git.madduck.net/~/git/pub/code/mr.git
+              git fetch origin
+              git branch master origin/master
+              git checkout -b vcsh origin/vcsh
+              ;;

          esac
 
 [code/mrsetup]
          esac
 
 [code/mrsetup]