From a02a53829834f9143da679cde746e3354d6af90a Mon Sep 17 00:00:00 2001
From: codex-bot-andresmgsl
 <304681515+codex-bot-andresmgsl@users.noreply.github.com>
Date: Fri, 24 Jul 2026 12:16:31 +0000
Subject: [PATCH] docs: record archived drill repository

---
 drills/0.2.0.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/drills/0.2.0.md b/drills/0.2.0.md
index a00b2da..9be34f5 100644
--- a/drills/0.2.0.md
+++ b/drills/0.2.0.md
@@ -7,8 +7,8 @@ Where: disposable private repo
 `codex-bot-andresmgsl/ceremony-drill-0.2.0`, carrying the
 `docs/CONSUMERS.md` release caller and a fragment-mode fixture armed at
 `0.2.0-dev`. The fixture had `changelog.d/README.md`, one release fragment,
-and a non-blank drill record. The repository was deleted after this record
-was committed and pushed.
+and a non-blank drill record. The repository is archived, pending the
+operator's delete.
 
 ## Candidate-ref deviation