🗒️ README-DEV: Also release on GitHub

OCR-D · Aug 6, 2020 · f6dfedf · f6dfedf
1 parent 8641011
commit f6dfedf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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