diff options
Diffstat (limited to 'Debian')
-rw-r--r-- | Debian/Dgit.pm | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/Debian/Dgit.pm b/Debian/Dgit.pm index e2f8edd..6932d14 100644 --- a/Debian/Dgit.pm +++ b/Debian/Dgit.pm @@ -23,17 +23,12 @@ our @EXPORT_OK; our $package_re = '[0-9a-z][-+.0-9a-z]*'; our $branchprefix = 'dgit'; - # policy hook exit status bits -# any unexpected bits mean failure, and then known set bits are ignored - +# see dgit-repos-server head comment for documentation +# 1 is reserved in case something fails with `exit 1' sub NOFFCHECK () { return 2; } -# suppress dgit-repos-server's ff check ("push" only) - sub FRESHREPO () { return 4; } -# blow away repo right away (ie, as if before push or fetch) -# ("check-package" and "push" only) - +# 128 is reserved sub debiantag ($) { my ($v) = @_; |