From 25aab5752da550219a0cb52e9ce23eca41febe64 Mon Sep 17 00:00:00 2001
From: codex-test <codex-test@example.invalid>
Date: Mon, 12 Oct 2026 19:42:13 +0000
Subject: [PATCH] docs: push after closing PR without merge

---
 docs/closed-pr.md | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 docs/closed-pr.md

diff --git a/docs/closed-pr.md b/docs/closed-pr.md
new file mode 100644
index 0000000..83bf4db
--- /dev/null
+++ b/docs/closed-pr.md
@@ -0,0 +1,3 @@
+# Closed PR branch
+
+[DEMO] Branch becomes eligible for ordinary branch builds again.