[FFmpeg-cvslog] doc/infra: Document gitolite

[Michael Niedermayer]

ffmpeg | branch: release/7.1 | Michael Niedermayer <michael at niedermayer.cc> | Wed Nov 13 19:28:15 2024 +0100| [4930dd91c6b4d47530ba3f16cc447687850b6ac7] | committer: Michael Niedermayer

doc/infra: Document gitolite

Signed-off-by: Michael Niedermayer <michael at niedermayer.cc>
(cherry picked from commit 07904231cb9730e09e2b7948e3977e7c2eafbb10)
Signed-off-by: Michael Niedermayer <michael at niedermayer.cc>

> http://git.videolan.org/gitweb.cgi/ffmpeg.git/?a=commit;h=4930dd91c6b4d47530ba3f16cc447687850b6ac7
---

 doc/infra.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/infra.txt b/doc/infra.txt
index 30a85dd5ce..aea3e93e13 100644
--- a/doc/infra.txt
+++ b/doc/infra.txt
@@ -65,6 +65,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:
 ~~~~~