diff options
Diffstat (limited to 'infra/dgit-repos-policy-debian')
-rwxr-xr-x | infra/dgit-repos-policy-debian | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian index db15310..46f1039 100755 --- a/infra/dgit-repos-policy-debian +++ b/infra/dgit-repos-policy-debian @@ -9,12 +9,6 @@ # dgit-repos-policy-debian ... push PACKAGE \ # VERSION SUITE TAGNAME DELIBERATELIES [...] # -# exit status is bitmap; bit weights (values) as follows -# 1 failure; operation must be rejected; other bits will be ignored -# 2 suppress dgit-repos-server's ff check ("push" only) -# 4 blow away repo away right away (ie before push or fetch) -# ("check-package" only) -# # cwd for push is a temporary repo where the to-be-pushed objects have # been received; TAGNAME is the version-based tag # @@ -25,7 +19,7 @@ use strict; use POSIX; use JSON; -use Debian::Dgit; +use Debian::Dgit qw(:DEFAULT :policyflags); our $distro = shift @ARGV // die "need DISTRO"; our $repos = shift @ARGV // die "need DGIT-REPOS-DIR"; |