0.7.2 bug fix release

We (TypeFox) are doing internal testing of git/scm extensions again and if it is sucessful @marc-dumais would you be able to make 0.7.2 bug fix release tomorrow?

[original thread by Anton Kosyakov]

It looks good on our side. @marc-dumais could you take care about bug fix release please?

Ok, let’s do this. The plan is to start from the 0.7.1 branch and add only the necessary commits on top. I see that the git/scm PR is merged and contains 8 commits. Do we think that these will cherry-pick without conflict on top of 0.7.1?

Any other fix that should be included?

A few others I think we should include:

Issue created: https://github.com/theia-ide/theia/issues/5448

@marc-dumais i’ve added couple from @kittaakos they are as well related to git/scm fix

i can test the branch after you cherry-pick them as well

0.7.2 is released: https://github.com/theia-ide/theia/releases/tag/v0.7.2