Raphaël Jadot 2780cebc31 docs: rename doc/mirroring to team/infra/mirroring		2021-09-26 22:37:36 +01:00
..
bots.md	docs: rename infra/bots to team/infra/bots	2021-09-26 22:15:36 +01:00
mirroring.md	docs: rename doc/mirroring to team/infra/mirroring	2021-09-26 22:37:36 +01:00