From 6824aa6c1b05f9961e92e0fca0f6910a316bbf23 Mon Sep 17 00:00:00 2001 From: Stefano Guerrini Date: Thu, 15 Oct 2026 10:50:31 +0200 Subject: [PATCH 1/2] docs(release): say that CI runs on the release PR --- docs/contributing.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/contributing.md b/docs/contributing.md index 6243da1..74ecd23 100644 --- a/docs/contributing.md +++ b/docs/contributing.md @@ -88,7 +88,8 @@ To publish an existing tag again, run the Release workflow by hand from ### If the checks fail after the release PR is merged -The release PR runs no CI, so its checks first run after the merge. If they +CI runs on the release PR: the release workflow starts it each time the PR +updates. The release run checks again after the merge. If those checks fail, `main` already has the new version, but there is no tag, and the merged release PR keeps the `autorelease: pending` label, which blocks the next release PR. To recover: From 813ca3c3f80907f8b821859b27937cb8103af450 Mon Sep 17 00:00:00 2001 From: Stefano Guerrini Date: Thu, 15 Oct 2026 10:54:45 +0200 Subject: [PATCH 2/2] docs(release): say it more simply --- docs/contributing.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/contributing.md b/docs/contributing.md index 74ecd23..fec139f 100644 --- a/docs/contributing.md +++ b/docs/contributing.md @@ -88,9 +88,9 @@ To publish an existing tag again, run the Release workflow by hand from ### If the checks fail after the release PR is merged -CI runs on the release PR: the release workflow starts it each time the PR -updates. The release run checks again after the merge. If those checks -fail, `main` already has the new version, but there is no tag, and the +The release PR runs CI like any other PR. After you merge it, the release +run checks the code again before it tags and publishes. If that check +fails, `main` already has the new version, but there is no tag, and the merged release PR keeps the `autorelease: pending` label, which blocks the next release PR. To recover: