aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKylie McClain <kylie@somas.is>2020-07-15 05:10:16 -0400
committerKylie McClain <kylie@somas.is>2020-07-15 05:10:16 -0400
commitbe959a06a49034963b7188b8675282c1fd2e6054 (patch)
tree6b810c7254ce726e00af203c32edb784a874e61f
parent809fd75982d2458a49d79a06a776a1010ea637c6 (diff)
downloadgitolite-admin-be959a06a49034963b7188b8675282c1fd2e6054.tar.gz
gitolite-admin-be959a06a49034963b7188b8675282c1fd2e6054.tar.xz
gitolite-admin-be959a06a49034963b7188b8675282c1fd2e6054.zip
gitolite: mutiny/docs --> mutiny/meta
-rw-r--r--conf/gitolite.conf6
1 files changed, 3 insertions, 3 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf
index 94f032c..e4082ef 100644
--- a/conf/gitolite.conf
+++ b/conf/gitolite.conf
@@ -65,15 +65,15 @@ repo mutiny/.*
option hook.post-receive.push-to-mirror = push-to-mirror
option mirror.mirrors = "git@github.com:mutinyproject/REPO.git"
-repo mutiny/docs mutiny/filesystem mutiny/idioms mutiny/praxis
+repo mutiny/meta mutiny/filesystem mutiny/idioms mutiny/praxis
option hook.post-receive.deploy-mutiny-site = deploy-mutiny-site
repo mutiny/commune
desc = "The manager for supervision trees used on Mutiny."
-repo mutiny/docs
+repo mutiny/meta
config cgit.homepage = "https://mutiny.red"
- desc = "Documentation for Mutiny, in AsciiDoc, manpage, and HTML format."
+ desc = "Documentation about Mutiny as a project, in AsciiDoc, manpage, and HTML format."
repo mutiny/filesystem
desc = "The base files and directory structure that makes up a Mutiny system."