summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-policy-trusting
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-31 15:36:16 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-31 16:06:00 +0100
commit0e6fdb25bacae95c16679692426b5ce7c2b150d9 (patch)
tree903172c30bfb6da4f9ffadc6f0a4ffd5629072f6 /infra/dgit-repos-policy-trusting
parented13a339560efb554f9afc9419ffd8157e357727 (diff)
Infra: Document dgit-repos-policy-trusting a bit
Diffstat (limited to 'infra/dgit-repos-policy-trusting')
-rwxr-xr-xinfra/dgit-repos-policy-trusting9
1 files changed, 9 insertions, 0 deletions
diff --git a/infra/dgit-repos-policy-trusting b/infra/dgit-repos-policy-trusting
index b550d01..0620b70 100755
--- 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