doc/infra: Document gitolite

Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
2024-11-13 19:28:15 +01:00
parent 322b240cea
commit 07904231cb
1 changed files with 3 additions and 0 deletions
@@ -73,6 +73,9 @@ Github mirrors are redundantly synced by multiple people

 You need a new git repository related to FFmpeg ? contact root at ffmpeg.org

+git repositories are managed by gitolite, every change to permissions is
+logged, including when, what and by whom
+

 Fate:
 ~~~~~