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