We plan on proceeding with the Theia v1.5.0 release later today (~2 PM EST).
There is still time to resolve/merge any low-risk pull-requests before the release if necessary.
We’ll post an update when the release starts.
The release is currently ongoing, please refrain from merging any pull-requests for the time being.
The v1.5.0 release has been completed!
Thank you to everyone for their hard work in improving the Theia framework.