Updated Release (markdown)

Christian Mäder 2021-10-06 17:02:05 +02:00
parent 42d73840aa
commit 3e427fd42f

@ -23,7 +23,7 @@ Now another maintainer has to approve the PR.
## Make the release (mostly automatically)
The release script automates the merging and tagging and pushing.
It tried to be as safe as possible to use.
It tries 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.