diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 15:36:16 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 16:06:00 +0100 |
commit | 0e6fdb25bacae95c16679692426b5ce7c2b150d9 (patch) | |
tree | 903172c30bfb6da4f9ffadc6f0a4ffd5629072f6 /infra | |
parent | ed13a339560efb554f9afc9419ffd8157e357727 (diff) |
Infra: Document dgit-repos-policy-trusting a bit
Diffstat (limited to 'infra')
-rwxr-xr-x | infra/dgit-repos-policy-trusting | 9 |
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 |