changes

2023-05-09 11:18:42 +02:00
parent b529863535
commit e1e04b9920
2 changed files with 3 additions and 4 deletions
@@ -1,5 +1,4 @@
-Development Environments
-========================
+# Development Environments

 The puppet server gives access to a limited set of users to the
 environment area, where prod and preprod environments are already
@@ -60,8 +60,8 @@ The following environments exist:
 - ``preprod``

 - Development environments. These are private to a single developer,
-  can have arbitrary names like ``ganglia-issue-21`` or
-  ``kaminski_k-log_client``, and are used for developing and testing
+  can have names matching the regex ``^[a-z]+[a-z,0-9,_]+$`` like ``ganglia_issue_21`` or
+  ``klog_client``, and are used for developing and testing
  changes. Generally, only individual systems are attached to these
  environments.