summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-policy-debian
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-31 11:49:42 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-31 12:58:16 +0100
commit972202563e62f7be43431e31497f1d2a19ada0d8 (patch)
tree4955c500509de141fd65c9f837077d874370d618 /infra/dgit-repos-policy-debian
parent33757ceaca394c2af95930775ee8ca1fd55108cf (diff)
infra: Finish replay prevention
Diffstat (limited to 'infra/dgit-repos-policy-debian')
-rwxr-xr-xinfra/dgit-repos-policy-debian1
1 files changed, 1 insertions, 0 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian
index 30dbbbe..e02c100 100755
--- a/infra/dgit-repos-policy-debian
+++ b/infra/dgit-repos-policy-debian
@@ -291,6 +291,7 @@ END
$initq->execute($pkg);
my @objscatcmd = qw(git);
+ push @objscatcmd, qw(--git-dir), $freshrepo if length $freshrepo;
push @objscatcmd, qw(cat-file --batch);
debugcmd '|',@objscatcmd if $debuglevel>=2;