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.