diff options
| author | Michael Niedermayer <michael@niedermayer.cc> | 2024-11-13 19:28:15 +0100 |
|---|---|---|
| committer | Michael Niedermayer <michael@niedermayer.cc> | 2024-11-14 21:50:51 +0100 |
| commit | 07904231cb9730e09e2b7948e3977e7c2eafbb10 (patch) | |
| tree | c64009adb79464c3551f3858da566c540cebe857 | |
| parent | 322b240cea7978ad38a621cb35efc46c8977f146 (diff) | |
| download | ffmpeg-07904231cb9730e09e2b7948e3977e7c2eafbb10.tar.gz | |
doc/infra: Document gitolite
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
| -rw-r--r-- | doc/infra.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/infra.txt b/doc/infra.txt index 4ef6ccf736..dfb13eda7b 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: ~~~~~ |