]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/commitdiff
gitremotes: don't fetch tags, other than from ikiwiki.info
authorSimon McVittie <smcv@debian.org>
Fri, 7 May 2010 16:46:21 +0000 (17:46 +0100)
committerSimon McVittie <smcv@debian.org>
Fri, 7 May 2010 16:46:21 +0000 (17:46 +0100)
Getting this change in an existing git clone requires removing or
reconfiguring the remotes.

gitremotes

index f596c650f56f1a96b2b53ec5aeb7ad85f818b6d3..6c03011a8cb5ac73a90edb1e74dab102c55eb9d5 100755 (executable)
@@ -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");
                }
        }
 }