0.10.0 release

We’ve changed quite a lot for 0.10.0, and there seem to be some regressions. I’ve added 0.10.x milestone to track them and do consequnte bug fix releases for 0.10. cc @marc-dumais

[original thread by Anton Kosyakov]

The release date of 0.10.0 is Thursday, August 29th.

Please add issues which you suspect to be regressions for 0.10.0 to this milestone.

@anton-kosyakov Do you have a link for the plugins system activation issue you talked about during the dev meeting?

There’s a milestone tracking the known issues for the bug fix release https://github.com/theia-ide/theia/milestone/10

Hi. So what’s the verdict? Shall we go ahead with the release today and do a bugfix release when the bugs in the milestone are fixed, or give more time?

Marc, i think we can do a release, and maybe do another bug fix release next Thursday if these issues turned out to be critical

there are PRs to fix several of them already, i think they can be merged

Ok, sounds good.

I plan to start the release in late afternoon, Montreal time. So in ~8h or so

I am starting the pre-release checks - please hold-off on mergig PRs in the main repo until I am done

Ok, all done - thanks to all who contributed to this release!

All regressions were fixed https://github.com/theia-ide/theia/milestone/10 if someone is interested we could mak 0.10.1 bugfix release. @marc-dumais Is it hard? We will probably need a branch and cherr-pick commits on it, test again and then release?

Hi Anton, we can certainly do that. If someone wants these fixes before 0.11.0, please open an issue, asking for a bugfix release and assign to me. I will expect help from that person to test before the release :slight_smile: