From 945aec5673c6e362f287695f436b9ef99bcfe97e Mon Sep 17 00:00:00 2001
From: Mike Gerber <mike.gerber@sbb.spk-berlin.de>
Date: Wed, 27 Mar 2024 19:01:49 +0100
Subject: [PATCH] =?UTF-8?q?=E2=9C=92=20README-DEV:=20Releasing=20a=20new?=
 =?UTF-8?q?=20version?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 README-DEV.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/README-DEV.md b/README-DEV.md
index a3441b1..3ec432f 100644
--- a/README-DEV.md
+++ b/README-DEV.md
@@ -43,3 +43,15 @@ This project optionally uses [pre-commit](https://pre-commit.com) to check commi
 
 - Install pre-commit, e.g. `pip install -r requirements-dev.txt`
 - Install the repo-local git hooks: `pre-commit install`
+
+
+# Releasing a new version
+
+- Update `ocrd-tool.json`
+- `git commit`
+- `git tag vx.y.z`
+- `git push && git push --tags`
+- The GitHub Actions workflow `release` will now create
+  a. a new release on GitHub and
+  b. a new release on PyPI
+- Currently requires a review for PYPI?