📝 README-DEV: Update wrt ocrd-tool.json and CI

mikegerber · Sep 15, 2022 · 3767fae · 3767fae
1 parent 77ff6df
commit 3767fae
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README-DEV.md b/README-DEV.md
@@ -11,9 +11,10 @@ make test
 Releasing
 ---------
 * Update `ocrd-tool.json` version (the `setup.py` version is read from this)
-* `git commit -m 'v<version>'`
+* `git add` the `ocrd-tool.json` file and `git commit -m 'v<version>'`
 * `git tag -m 'v<version>' 'v<version>'`
 * `git push; git push --tags`
+* Wait and check if tests on CircleCI are OK
 * Do a release on GitHub
 
 ### Uploading to PyPI