Merge remote-tracking branch 'origin/codex/goal-commands' into codex/ralph-tool

2026-07-20 14:32:20 +08:00
parent b360d04833 7c0c819bcf
commit 2f13acd2b9
59 changed files with 2853 additions and 55 deletions
@@ -114,9 +114,10 @@
 - id: tool-fs
  name: '@deepseek-ai/dsh-tool-fs'

-# Bash-backed discovery tools (glob/grep): fixed ripgrep commands through the
-# local bash executor above — not ctx.fs. Capped results save the complete
-# formatted list through the spill backend below (ctx.spillStore, optional).
+# Bash-backed discovery tools (glob/grep): if the local bash executor above
+# can find rg, register fixed ripgrep commands — not ctx.fs. Capped results
+# save the complete formatted list through the spill backend below
+# (ctx.spillStore, optional).
 - id: tool-fs-search
  name: '@deepseek-ai/dsh-tool-fs-search'