diff options
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 |