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 .gitreview file so that `defaultbranch=master` Amend the commit with the changes. Submit using `git review`

Post merge
It is the duty of the person who is +2ing the release to amend the .gitreview so that `defaultbranch=dev` They should self merge this after the release has occurred to ensure no development happens on the master branch.