core/core-agent-ide
8
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[codex] add Jason as a predefined subagent name (#14881)

Browse source 
This change adds Jason to codex-core's built-in subagent nickname pool
so spawned agents can pick it without any custom role configuration. The
default list was simply missing that predefined name (a grave mistake).
This commit is contained in:
Thibault Sottiaux 2026-03-16 22:01:14 -07:00 • committed by GitHub
parent e5a28ba0c2
commit 8e34caffcc
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
codex-rs/core/src/agent/agent_names.txt
View file

@ -97,4 +97,5 @@ Godel
Nash
Banach
Ramanujan
Erdos
Erdos
Jason