More tweaks

This commit is contained in:
Eelco Dolstra 2022-12-06 17:46:42 +01:00
parent 31e3c7d6fd
commit 27392a3b48

View file

@ -139,10 +139,12 @@ release:
```console
$ git checkout master
$ echo -n 2.13.0 > .version
$ git checkout -b bump-2.13
$ git pull
$ NEW_VERSION=2.13.0
$ echo -n $NEW_VERSION > .version
$ git checkout -b bump-$NEW_VERSION
$ git commit -a -m 'Bump version'
$ git push
$ git push --set-upstream origin bump-$NEW_VERSION
```
Make a PR and auto-merge it.