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:
 ~~~~~