From 2a1499a626222a27feee1c261e4fad232cecca1d Mon Sep 17 00:00:00 2001 From: Ahmed Ibrahim Date: Mon, 8 Sep 2025 11:16:39 -0700 Subject: [PATCH] Cleanup: remove accidentally re-added gitlinks under codex-rs/.codex from index again --- codex-rs/.codex/pro/1757202005/agent-a | 1 - codex-rs/.codex/pro/1757202005/agent-b | 1 - 2 files changed, 2 deletions(-) delete mode 160000 codex-rs/.codex/pro/1757202005/agent-a delete mode 160000 codex-rs/.codex/pro/1757202005/agent-b diff --git a/codex-rs/.codex/pro/1757202005/agent-a b/codex-rs/.codex/pro/1757202005/agent-a deleted file mode 160000 index 6e743e8496..0000000000 --- a/codex-rs/.codex/pro/1757202005/agent-a +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 6e743e84964bbb4e3aaa66abf16c3d00172cf578 diff --git a/codex-rs/.codex/pro/1757202005/agent-b b/codex-rs/.codex/pro/1757202005/agent-b deleted file mode 160000 index 6e743e8496..0000000000 --- a/codex-rs/.codex/pro/1757202005/agent-b +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 6e743e84964bbb4e3aaa66abf16c3d00172cf578