dgit(1): Update BUGS section

[dgit.git] / infra / dgit-repos-policy-trusting

diff --git a/infra/dgit-repos-policy-trusting b/infra/dgit-repos-policy-trusting
index b550d012118e59f3c7633efb528c7a00bfafb79b..b551d5049ecfa316096e6976556c9853f0b36f7d 100755 (executable)
--- a/infra/dgit-repos-policy-trusting
+++ b/infra/dgit-repos-policy-trusting
@@ -1,4 +1,13 @@
 #!/bin/bash
+#
+# This is a genuine policy, not just one for testing.
+#
+# It allows anyone authorised to push to also, on demand:
+#   - wipe the repo and replace it with a new one
+#     (with --deliberately-fresh-repo)
+#   - do non-fast-forward pushes
+#     (with --deliberately-not-fast-forward)
+
 set -e
 
 case "$DGIT_DRS_DEBUG" in
@@ -29,7 +38,10 @@ delibs=$1    ; shift
 bitmask=0
 
 policyflags () {
-       perl -e 'use Debian::Dgit qw(:policyflags); print '$1',"\n"'
+       perl -e '
+               use Debian::Dgit::Infra;
+               use Debian::Dgit qw(:policyflags); print '$1',"\n"
+       '
 }
 
 set -e