theia-blueprint
theia-blueprint copied to clipboard
Rename the repository to complete the Theia Blueprint to Theia IDE rebranding
As mentioned here, https://github.com/eclipse-theia/theia-website/pull/524#issuecomment-1989762570, this will not occur by itself. At some point someone will have to do it, so it should be tracked with an open issue.