]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/blobdiff - gitremotes
discount markdown can't handle URIs with parens e.g. mediawiki style
[git.ikiwiki.info.git] / gitremotes
index 6c03011a8cb5ac73a90edb1e74dab102c55eb9d5..5cafad1b8dcb550c694567b7815978a7861fc6fe 100755 (executable)
@@ -16,9 +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);
                }
        }
 }