From 72647829df19530447dd340e08d579bfcb0ae070 Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Thu, 13 Aug 2026 16:00:17 +0200 Subject: [PATCH] docs: record PR #240 in the gate lane The number goes in the moment the PR opens, per this file's own rule. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_016bqGA6s9tTUFzYpbeW3tai --- docs/active-work.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/active-work.md b/docs/active-work.md index 606b144..39a028f 100644 --- a/docs/active-work.md +++ b/docs/active-work.md @@ -270,11 +270,12 @@ hazard in a shape that looks committed. **A documented error message that never appears is worse than no documentation**, because the reader waits for a signal that is not coming. -## `scripts/gate` TMPDIR isolation — branch OPEN, no PR yet +## `scripts/gate` TMPDIR isolation — PR #240 OPEN **Written with the branch's first commit**, per the standing correction from #171 and #215. +- **PR #240** — https://github.com/levineuwirth/pmacs/pull/240. - **Branch `gate-tmpdir-isolation`**, base `githubsucks/main` @ `ca92796` exactly (the #239 merge). **Recover with `git fetch githubsucks && git checkout gate-tmpdir-isolation`.**