Repository navigation

fix(codex): safely unlink generated profiles - #721

Closed

luvs01 wants to merge 6 commits into

devfrom

codex/split719-profile-delete-20261012

Closed

fix(codex): safely unlink generated profiles#721
luvs01 wants to merge 6 commits into
devfrom
codex/split719-profile-delete-20261012

Commits on Oct 12, 2026
- fix(codex): refuse unsafe generated-profile deletion
  
  luvs01
  and
  devin-ai-integration[bot]
  committed
  911d458
- test(codex): assert profile symlink refusal before coordinator admission
  
  luvs01
  and
  devin-ai-integration[bot]
  committed
  2b53ff3
- fix(codex): refuse aliased profiles before journal replay
  
  luvs01
  and
  devin-ai-integration[bot]
  committed
  b38afe1
- Merge fork dev dc45bb2 into PR #721
  luvs01
  committed
  0c5de29
Commits on Oct 13, 2026
- Merge remote-tracking branch 'fork/dev' into merge721-dev
  luvs01
  committed
  4b493ac
- fix(codex): recover config after profile refusal and reject dangling links
  
  luvs01
  and
  devin-ai-integration[bot]
  committed
  cc7897e