Skip to content

chore: rescue unlanded session docs, gitignore .codex/, de-drift AGENTS.md - #852

Merged
lmorchard merged 3 commits into
mainfrom
chore/repo-housekeeping
Sep 15, 2026
Merged

chore: rescue unlanded session docs, gitignore .codex/, de-drift AGENTS.md#852
lmorchard merged 3 commits into
mainfrom
chore/repo-housekeeping

chore: add scripts/prune_agent_worktrees.py + make prune-worktrees

e7a9195
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar