git push

3 years ago · 37ac602d72
parent 1eb342ef65
commit 37ac602d72
1 changed files with 1 additions and 1 deletions
--- a/README-DEV.md
+++ b/README-DEV.md
@ -13,7 +13,7 @@ Releasing
 * Update `ocrd-tool.json` version (the `setup.py` version is read from this)
 * `git commit -m 'v<version>'`
 * `git tag -m 'v<version>' 'v<version>'`
-* `git push --tags`
+* `git push; git push --tags`
 * Do a release on GitHub

 ### Uploading to PyPI