gitremotes: don't fetch the new remote until we've turned off tags
parent
7cb31560a5
commit
2d60e55303
|
@ -16,9 +16,10 @@ while (<IN>) {
|
||||||
my ($oldurl)=$info=~/URL: (.*)/m;
|
my ($oldurl)=$info=~/URL: (.*)/m;
|
||||||
if ($oldurl ne $url) {
|
if ($oldurl ne $url) {
|
||||||
system("git remote rm $remote 2>/dev/null");
|
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",
|
system("git", "config", "remote.$remote.tagopt",
|
||||||
"--no-tags");
|
"--no-tags");
|
||||||
|
system("git", "fetch", $remote);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue