]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/blobdiff - gitremotes
update for rename of todo/org_mode/Discussion.mdwn to plugins/contrib/org_mode/Discus...
[git.ikiwiki.info.git] / gitremotes
index f596c650f56f1a96b2b53ec5aeb7ad85f818b6d3..5cafad1b8dcb550c694567b7815978a7861fc6fe 100755 (executable)
@@ -16,7 +16,10 @@ while (<IN>) {
                my ($oldurl)=$info=~/URL: (.*)/m;
                if ($oldurl ne $url) {
                        system("git remote rm $remote 2>/dev/null");
-                       system("git", "remote", "add", "-f", $remote, $url)
+                       system("git", "remote", "add", $remote, $url);
+                       system("git", "config", "remote.$remote.tagopt",
+                               "--no-tags");
+                       system("git", "fetch", $remote);
                }
        }
 }