From 3767faeeaf4793d2b4a98a57791941be3780e548 Mon Sep 17 00:00:00 2001
From: "Gerber, Mike" <mike.gerber@sbb.spk-berlin.de>
Date: Thu, 15 Sep 2022 18:43:09 +0200
Subject: [PATCH] =?UTF-8?q?=F0=9F=93=9D=20README-DEV:=20Update=20wrt=20ocr?=
 =?UTF-8?q?d-tool.json=20and=20CI?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 README-DEV.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README-DEV.md b/README-DEV.md
index 55c0ffd..85597f1 100644
--- 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