summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/admin/000.mdwn12
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/admin/000.mdwn b/doc/admin/000.mdwn
index 984832b..2177999 100644
--- a/doc/admin/000.mdwn
+++ b/doc/admin/000.mdwn
@@ -376,6 +376,18 @@ follows:
it is included from the per-project rules
(`refs/gitano-admin` branch of the repository being operated on).
+Include statements can be made conditional by adding a predicate after the path,
+so you can split up your rules
+
+ #main.lace
+ include update anyof [operation exact createref] [operation exact deleteref] [operation exact updaterefnonff] [operation exact updaterefff]
+
+ #update.lace
+ # Require fast-forward updates to refs/heads/master
+ deny "master may not be rebased" [ref exact refs/heads/master] [operation exact updaterefnonff]
+ # Branches must not be tags
+ deny "Branches may only be commits" [ref prefix refs/heads/] [newtype exact commit]
+
# Backup and restore of a Gitano instance
When gitano-setup is run, the admin needs to specify a Unix user in