Release 1.0.0

#1

Hi,
We plan to proceed with the release in a few hours (~3-4 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

[original thread by Jacques Bouthillier]

#2

[Jacques Bouthillier]

Starting the release - please do not merge any PRs until this is done.

#3

[Jacques Bouthillier]

Thanks you all for your great work to make Theia 1.0.0 a good IDE,
The release is complete, you can push new code now.

#4

Thanks @jacques-bouthillier