summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorpolwex <polwex@sortug.com>2025-06-27 22:32:06 +0700
committerpolwex <polwex@sortug.com>2025-06-27 22:32:06 +0700
commit32170fac537b9e30f45e96e6a1d344ceb1e2664d (patch)
tree38886c5b83c905d68a64bb88636ce704738177cb
parent1bc52480268323c610c131d41c09375ef9830db1 (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 b856080..de44d21 100644
--- a/conf/gitolite.conf
+++ b/conf/gitolite.conf
@@ -3,6 +3,8 @@ repo gitolite-admin
repo testing
RW+ = git
+repo bs4
+ RW+ = git
repo bs5ocaml
RW+ = git
repo bs5ocamleio