Can Theia repos in Eclipse GH org be moved to the dedicated eclipse-theia GH org?
Summary
We found the following Eclipse Theia repositories in https://github.com/eclipse:
- https://github.com/eclipse/theia-generator-plugin
- https://github.com/eclipse/theia-yeoman-plugin
- https://github.com/eclipse/theia-plugin-packager
Can those be moved to https://github.com/eclipse-theia?
–––
Bonus question:
Repos in PMI that don't seem to exist anymore:
Can we safely remove them?