Theia repo move to Eclipse Foundation has happenedSeptember 11, 2019 at 5:23pm
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
September 13, 2019 at 3:54am