Skip to content

Upgrade to 1.17.2

This MR actually increments from !12 (closed), demonstrating how simple upgrades can be from now on. For details, read the intro to !12 (closed).

Aside from having incremented pkgver and updated checksums and .SRCINFO, I have made a minor edit to make-package-json.sh to improve accuracy of a warning.

How did I notice the available update so quickly? make-package-json.sh told me when I intended to build a variant (with changed extra-plugins.json):

// make-package-json.sh: Info: Retrieving Theia release versions
// make-package-json.sh: Info: Querying newest release version
// make-package-json.sh: Info: Checking for updates
// make-package-json.sh: Info: Specified release v1.17.1 does not match the latest release v1.17.2

Automation is good for us.

Edited by Christian Cornelssen

Merge request reports