summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorpolwex <polwex@sortug.com>2025-06-15 04:25:14 +0700
committerpolwex <polwex@sortug.com>2025-06-15 04:25:14 +0700
commitad1e02d1171fd1d01e27d0b3b73cb9269dd9842c (patch)
tree04f4e8bf1796d6210803324c29829962cf7403a4
parentb33698c91aeaeef990ae165b9a77b332b51682bb (diff)
m
-rw-r--r--conf/gitolite.conf2
1 files changed, 2 insertions, 0 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf
index 51dc797..e78afe0 100644
--- a/conf/gitolite.conf
+++ b/conf/gitolite.conf
@@ -3,3 +3,5 @@ repo gitolite-admin
repo testing
RW+ = @all
+bs5ocaml
+ RW+ = @all