Closed planger closed 2 years ago
@vince-fugnitto Do you have access rights to this?
@JonasHelming I do yes :)
Just a few questions:
theia-ide
to eclipse-theia
?@JonasHelming sounds good, should I proceed with the merge, then archive the repo?
sounds good!
As we have moved all code, we should mention this in the readme of this repository and potentially archive it afterwards to avoid confusion.