Document how to exclude projects from replication
Change-Id: I8a12011e28be44d600a3ed63eebe596560d73e5f
diff --git a/src/main/resources/Documentation/config.md b/src/main/resources/Documentation/config.md
index b1058b5..099608d 100644
--- a/src/main/resources/Documentation/config.md
+++ b/src/main/resources/Documentation/config.md
@@ -343,6 +343,10 @@
match the project name. So the above example would not match
`foo/bar2`, while `^foo/(bar|baz).*` would.
+ Projects may be excluded from replication by using a regular
+ expression with inverse match. `^(?:(?!PATTERN).)*$` will
+ exclude any project that matches.
+
Values that are not regular expressions and end in `*` are
treated as wildcard matches. Wildcards match projects whose
name agrees from the beginning until the trailing `*`. So