We plan to proceed with the release in a few hours (~3 hours from now). There is still time to fix little bugs and merge low-risk PRs.
We’ll post here to let you know when we start
Starting the release - please do not merge any PRs until this is done.
Thanks you all for your great work to make Theia 1.3.0 a good IDE,
The release is complete, you can push new code now.