🗒️ README-DEV: Also release on GitHub

4 years ago · f6dfedf837
parent 86410110bc
commit f6dfedf837
1 changed files with 1 additions and 0 deletions
--- a/README-DEV.md
+++ b/README-DEV.md
@ -15,6 +15,7 @@ Releasing
 * `git commit -m 'v<version>'`
 * `git tag -m 'v<version>' 'v<version>'`
 * `git push --tags`
+* Do a release on GitHub

 ### Uploading to PyPI
 * `rm -rf dist/` or backup if `dist/` exists already