git-develacc: set url on origin remote

1 files changed, 8 insertions, 1 deletions

diff --git a/bin/git-develacc b/bin/git-develacc
index e1d52f80..5acbca09 100755
--- a/bin/git-develacc
+++ b/bin/git-develacc
@@ -47,8 +47,15 @@ fi
 # sync remotes from outside develacc into develacc
 git remote | while read remote; do
     if ! [ "$remote" = "develacc" ]; then
+        # this is to disable `git remote update` and therefore my `mr update`
         git -C "$inside" config --local --bool "remote.$remote.skipdefaultupdate" true
-        git -C "$inside" config --local --unset "remote.$remote.url" || true
+        # we set a url on the origin remote so that `mr register` works
+        if [ "$remote" = "origin" ]; then
+            git -C "$inside" set-url origin "$(git remote get-url origin)"
+        else
+            git -C "$inside" config --local --unset "remote.$remote.url" || true
+        fi
+
         git -C "$inside" config --local --unset "remote.$remote.mirror" || true
         git -C "$inside" config --local "remote.$remote.fetch" "+refs/heads/*:refs/remotes/$remote/*"
     fi