From 5dbb55b7d1c17b1bb993ae93a8b1b631f9dac0a0 Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com> Date: Thu, 12 Feb 2026 22:23:29 +0200 Subject: [PATCH] Include version in release db filename --- run_release.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run_release.py b/run_release.py index ab6cc732..bff156c2 100755 --- a/run_release.py +++ b/run_release.py @@ -225,7 +225,7 @@ def __init__( first_state: Task | None = None, ) -> None: self.tasks = tasks - dbfile = Path.home() / ".python_release" + dbfile = Path.home() / f".python_release-{release_tag}" self.db: ReleaseShelf = cast(ReleaseShelf, shelve.open(str(dbfile), "c")) if not self.db.get("finished"): self.db["finished"] = False