Use git fetch --all to update local clone in stead of git pull. Also, do not use --branch in initial clone.

This commit is contained in:
Rob Vermaas 2012-04-05 15:49:48 +02:00
parent 8b88ce19c2
commit 53329ecc61

View file

@ -328,14 +328,14 @@ sub fetchInputGit {
my $stdout; my $stderr;
if (! -d $clonePath) {
(my $res, $stdout, $stderr) = captureStdoutStderr(600,
("git", "clone", "--branch", $branch, $uri, $clonePath));
("git", "clone", $uri, $clonePath));
die "Error cloning git repo at `$uri':\n$stderr" unless $res;
}
# git pull + check rev
chdir $clonePath or die $!; # !!! urgh, shouldn't do a chdir
(my $res, $stdout, $stderr) = captureStdoutStderr(600,
("git", "pull"));
("git", "fetch", "--all"));
die "Error pulling latest change git repo at `$uri':\n$stderr" unless $res;
(my $res1, $stdout, $stderr) = captureStdoutStderr(600,