gitremotes: don't fetch tags, other than from ikiwiki.info

Getting this change in an existing git clone requires removing or
reconfiguring the remotes.

diff --git a/gitremotes b/gitremotes
index f596c650f56f1a96b2b53ec5aeb7ad85f818b6d3..6c03011a8cb5ac73a90edb1e74dab102c55eb9d5 100755 (executable)
--- a/gitremotes
+++ b/gitremotes
@@ -16,7 +16,9 @@ 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", "-f", $remote, $url);
+                       system("git", "config", "remote.$remote.tagopt",
+                               "--no-tags");
                }
        }
 }