menu
announcement

Spectrum is now read-only. Learn more about the decision in our official announcement.

Theia

Eclipse Theia - Cloud & Desktop IDE

Channels
Team

Theia repo move to Eclipse Foundation has happened

September 11, 2019 at 5:23pm

Theia repo move to Eclipse Foundation has happened

September 11, 2019 at 5:23pm
Hi,
Despite my best efforts to schedule a "managed" repo move, it did not happen that way. So the move is done but some GH applications have not been configured. In consequence, the CI will be unstable until the config is done, with "GitHub API rate limit' errors and inability to publish "next" builds upon merging PRs, even if by chance Travis happens to succeed.

September 11, 2019 at 5:31pm
Old repo should not be used anymore since now?
It should be transparent: GitHub will redirect git and HTTP operations to the new repo. Everything should be preserved: issues, PRs, etc
I just noticed one thing that was not preserved: old Travis CI logs, as referenced from pre-move PRs, that now give an error that the "theia-ide/theia" repo can't be found. Not the end of the world I guess.
Edited

September 12, 2019 at 6:19am
ci is back on track now, the only issue is that a link in README.md to travis is bogus, opened: https://github.com/eclipse-theia/theia/issues/6169
As well it looks like Appveyor is not yet enabled/configured

September 13, 2019 at 3:54am