diff --git a/git-hooks/gerrit-bot b/git-hooks/gerrit-bot index bdd64b1eec0ec8e5afb16119db7b3ec5887c70d5..918b3fe4acb0feb83a5d1499f28604202fb22a23 100755 --- a/git-hooks/gerrit-bot +++ b/git-hooks/gerrit-bot @@ -128,7 +128,7 @@ sub process_commit($$$$$) chomp(@mainlines = `git config remote.origin.fetch`); $skipfetch{$project} = 1; } - if (system("git", "fetch", "-f", "origin", $ref.":refs/changes/".$number, @mainlines)) { + if (system("git", "fetch", "-f", "--prune", "origin", $ref.":refs/changes/".$number, @mainlines)) { printerr "GIT fetch of ".$ref." from ".$project." failed"; return; }