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

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

1 files changed, 3 insertions, 1 deletions

diff --git a/gitremotes b/gitremotes
index f596c650f..6c03011a8 100755
--- 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");
 		}
 	}
 }