Theia repo move to Eclipse Foundation has happened
September 11, 2019 at 5:23pmTheia repo move to Eclipse Foundation has happened
September 11, 2019 at 5:23pmHi,
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.
Repo move Bugzilla: https://bugs.eclipse.org/bugs/show_bug.cgi?id=540398
New repo: https://github.com/eclipse-theia/theia
September 11, 2019 at 5:31pm
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.
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
September 13, 2019 at 3:54am
some docs links are broken: https://github.com/eclipse-theia/theia/issues/6182