diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 15:31:18 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 15:31:18 +0100 |
commit | fdab645ff4e8fcdde3aa2fb0127b58dfc18a4f9a (patch) | |
tree | 0cbcbd663e739621a58d62495503d37704fb4961 | |
parent | 2ff2d292ee36d3b82ef5ebfbd62a761f05bfc980 (diff) |
Infra: document DELIBERATELIES parameter to policy hook
-rwxr-xr-x | infra/dgit-repos-server | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index d990aee..4cc96c4 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -126,6 +126,8 @@ $SIG{__WARN__} = sub { die $_[0]; }; # POLICY-HOOK-SCRIPT ... push-confirm PACKAGE \ # VERSION SUITE TAGNAME DELIBERATELIES FRESH-REPO|'' [...] # +# DELIBERATELIES is like this: --deliberately-foo,--deliberately-bar,... +# # Exit status is a bitmask. Bit weight constants are defined in Dgit.pm. # NOFFCHECK (2) # suppress dgit-repos-server's fast-forward check ("push" only) |