diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 11:49:42 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 12:58:16 +0100 |
commit | 972202563e62f7be43431e31497f1d2a19ada0d8 (patch) | |
tree | 4955c500509de141fd65c9f837077d874370d618 /infra/dgit-repos-policy-debian | |
parent | 33757ceaca394c2af95930775ee8ca1fd55108cf (diff) |
infra: Finish replay prevention
Diffstat (limited to 'infra/dgit-repos-policy-debian')
-rwxr-xr-x | infra/dgit-repos-policy-debian | 1 |
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; |