Cleanup repos in Gitolite and document new practices
ref: #17841 (closed)
There are repos that are not used any more and need to be removed.
Some repos are now pulled directly from GitLab and we need to document that new practice.
ref: #17841 (closed)
There are repos that are not used any more and need to be removed.
Some repos are now pulled directly from GitLab and we need to document that new practice.