6543 63d7cbcef1 Make mirror feature more configurable (#16957) ... Rename`[repository]` `DISABLE_MIRRORS` to `[mirror]` `DISABLE_NEW_PULL` and add `ENABLED` and `DISABLE_NEW_PUSH` with the below meanings: - `ENABLED`: **true**: Enables the mirror functionality. Set to **false** to disable all mirrors. - `DISABLE_NEW_PULL`: **false**: Disable the creation of **new** mirrors. Pre-existing mirrors remain valid. - `DISABLE_NEW_PUSH`: **false**: Disable the creation of **new** push mirrors. Pre-existing mirrors remain valid. Co-authored-by: zeripath <art27@cantab.net> Co-authored-by: delvh <dev.lh@web.de>		2021-09-07 17:49:36 +02:00
..
doc	Make mirror feature more configurable (#16957)	2021-09-07 17:49:36 +02:00
page	Fix various documentation, user-facing, and source comment typos (#16367)	2021-07-08 13:38:13 +02:00