chiark / gitweb /
Merge remote-tracking branch 'spwhitton/maint-merge-updates' into fix
[dgit.git] / infra / dgit-repos-policy-trusting
index b550d01..b551d50 100755 (executable)
@@ -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