path: root/doc/onboarding.texi
diff options
Diffstat (limited to 'doc/onboarding.texi')
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/onboarding.texi b/doc/onboarding.texi
index 0c9ccff..8840570 100644
--- a/doc/onboarding.texi
+++ b/doc/onboarding.texi
@@ -59,6 +59,16 @@ Texts. A copy of the license is included in the section entitled
+@subsection Git
+Git at @code{} is managed by @emph{gitolite}. Creation and deletion
+of repositories, as well as users management, is done entirely by editing the
+@code{gitolite.conf} file within the @code{gitolite-admin} repository.
+Please refer to gitolite official documentation, if more information is needed:
This section documents the set-up of our main server @code{}.
@subsection Buildbot