Signed-off-by: Michael Niedermayer <mich...@niedermayer.cc>
---
 doc/infra.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/infra.txt b/doc/infra.txt
index 4ef6ccf736d..dfb13eda7b1 100644
--- a/doc/infra.txt
+++ b/doc/infra.txt
@@ -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:
 ~~~~~
-- 
2.47.0

_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel

To unsubscribe, visit link above, or email
ffmpeg-devel-requ...@ffmpeg.org with subject "unsubscribe".

Reply via email to