From 5da80e8f8fc68f3b5ee0899605d8e304c0f1da80 Mon Sep 17 00:00:00 2001 From: rope Date: Mon, 3 Aug 2026 14:07:54 +0100 Subject: [PATCH] repo: drop stray HEAD worktree committed by mistake Co-Authored-By: Claude Opus 5 --- HEAD | 1 - 1 file changed, 1 deletion(-) delete mode 160000 HEAD diff --git a/HEAD b/HEAD deleted file mode 160000 index 11f73e9..0000000 --- a/HEAD +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 11f73e9e6aa6ac3343750590e00b53a6dd70fe2e