diff options
author | Joey Hess <joey@gnu.kitenet.net> | 2009-12-07 14:44:50 -0500 |
---|---|---|
committer | Joey Hess <joey@gnu.kitenet.net> | 2009-12-07 14:44:50 -0500 |
commit | 958e83230d36bbf995329981a659ee69717a0451 (patch) | |
tree | 956c4f685e773d9fca3d7492ee61ff1ea0f6b932 /gitremotes | |
parent | 0294fdfb5c50e5af22acc14407a2b69c79360e44 (diff) | |
download | ikiwiki-958e83230d36bbf995329981a659ee69717a0451.tar ikiwiki-958e83230d36bbf995329981a659ee69717a0451.tar.gz |
drop remote pulling; can be done using git remote update --prune
Diffstat (limited to 'gitremotes')
-rwxr-xr-x | gitremotes | 21 |
1 files changed, 3 insertions, 18 deletions
diff --git a/gitremotes b/gitremotes index d49cf2d9e..f596c650f 100755 --- a/gitremotes +++ b/gitremotes @@ -1,8 +1,7 @@ #!/usr/bin/perl # Parses list of remotes in doc/git.mdwn, configures git to use them -# all, and fetches updates from them. - -my $error=0; +# all. After running this, use "git remote update --prune" to pull +# updates from all remotes. open (IN, "doc/git.mdwn") || die "doc/git.mdwn: $!"; while (<IN>) { @@ -15,24 +14,10 @@ while (<IN>) { # check configured url to deal with it changing my $info=`git remote show -n $remote`; my ($oldurl)=$info=~/URL: (.*)/m; - my $r; if ($oldurl ne $url) { system("git remote rm $remote 2>/dev/null"); - $r = system("git", "remote", "add", "-f", $remote, $url) - } - else { - $r = system("git", "fetch", "--no-tag", $remote); + system("git", "remote", "add", "-f", $remote, $url) } - - if ($r != 0) { - print "$remote failed\n"; - } - $error |= $r; - - # drop stale tracking branches - system("git", "remote", "prune", $remote); } } close IN; - -exit $error; |