"Archive" merged repositories

Hi,

Github provides "Archive this repository" action in settings, which makes interactions with archived repo not possible. Please archive the following repositories:

• https://github.com/eclipse-platform/eclipse.platform.team
• https://github.com/eclipse-platform/eclipse.platform.resources
• https://github.com/eclipse-platform/eclipse.platform.runtime
• https://github.com/eclipse-platform/eclipse.platform.ui.tools
• https://github.com/eclipse-equinox/equinox.bundles
• https://github.com/eclipse-equinox/equinox.framework
• https://github.com/eclipse-pde/eclipse.pde.build

See https://github.com/eclipse-platform/.github/issues/104

Best regards, Lars