From f64e5ec4a2b204dcdc05c2b8047f0009b94db2fc Mon Sep 17 00:00:00 2001
From: CleverThis <hal9000@cleverthis.com>
Date: Sun, 14 Jun 2026 01:42:04 -0400
Subject: [PATCH] chore(agents): remove accidental repo submodule gitlink

The AUTO-BUG-POOL to AUTO-BUG-SUP prefix fix is already present in
the relevant files (docs/development/agent-system-specification.md,
docs/development/automation-tracking.md, .opencode/ agent configs).
The only change introduced by the PR branch was an orphaned gitlink
at path 'repo' (mode 160000) with no matching .gitmodules entry,
inadvertently committed by a prior implementer session. This commit
removes that gitlink entirely.

Closes #7957
---
 repo | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 repo

diff --git a/repo b/repo
deleted file mode 160000
index 0ade2526e..000000000
--- a/repo
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 0ade2526eb977119e1848f2cb59454608c1f3236