Updated Release (markdown)

Christian Mäder 2021-04-27 09:31:36 +02:00
parent 7ce72780df
commit 5f675c0e65

@ -21,7 +21,13 @@ Now another maintainer has to approve the PR.
## Make the release (mostly automatically) ## Make the release (mostly automatically)
Run `./release.sh` in the `develop` branch. The release script automates the merging and tagging and pushing.
It tried to be as safe as possible to use.
E.g. it checks that there are no pending changes in the current repository.
1. Run `./release.sh` in the `develop` branch.
2. Now go to Github and [draft a new release][draft]. Copy the text from [the most recent previous release][latest] and adjust it according to the new release.
3. Eventually announce the release [on our Slack channel][slack].
## Make the release (completely manually) ## Make the release (completely manually)