Raphaël Jadot ffc575bc29 docs: rename community/portal to team/infra/portal		2021-09-26 23:11:47 +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
portal.md	docs: rename community/portal to team/infra/portal	2021-09-26 23:11:47 +01:00