Raphaël Jadot 2b52b62244 docs: rename doc/mirroring to team/infra/mirroring		2021-09-26 22:37:56 +01:00
..
bots.md	docs: rename infra/bots to team/infra/bots	2021-09-26 22:26:27 +01:00
mirroring.md	docs: rename doc/mirroring to team/infra/mirroring	2021-09-26 22:37:56 +01:00