Reading/Web/Release process/How to release

A release can be made by the following commands

First generate the release settings the commit message with the `Release` prefix. Update the release number in extension.json Find the commit sha of the last release and run the following script Amend the commit with the changes and then submit it using.