aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSimon McVittie <smcv@debian.org>2010-05-07 17:46:21 +0100
committerSimon McVittie <smcv@debian.org>2010-05-07 17:46:21 +0100
commitc2c57f0cfba182964359f0ee71f84fb1b935d10f (patch)
tree8e0aa74449cb80e61a92ed0b734e940dd95cde55
parent25033d91145d0f102c6f6889f04e80e31b218684 (diff)
downloadikiwiki-c2c57f0cfba182964359f0ee71f84fb1b935d10f.tar
ikiwiki-c2c57f0cfba182964359f0ee71f84fb1b935d10f.tar.gz
gitremotes: don't fetch tags, other than from ikiwiki.info
Getting this change in an existing git clone requires removing or reconfiguring the remotes.
-rwxr-xr-xgitremotes4
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");
}
}
}