mikehostetler/AGENTS.md

Created March 24, 2026 19:40

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/mikehostetler/940e5363283390bfa223e5ad153a8220.js"></script>
Save mikehostetler/940e5363283390bfa223e5ad153a8220 to your computer and use it in GitHub Desktop.

Download ZIP

Codex Worktree Cleanup Hack

Raw

Prefer gh pr checkout <number> --detach for review-only work so disposable local branches do not accumulate.
If a separate worktree is useful, give it an obviously temporary name and remove it with git worktree remove <path> when the review is done.
After temp worktrees are removed or deleted out-of-band, run git worktree prune -v to clear stale metadata.
Before starting substantial new work, prefer returning the root repo to a clean, current baseline with git status --short --branch, git fetch --prune origin, git checkout main, and git pull --ff-only origin main when that fits the repo workflow.
Ask before deleting unmerged branches.
Clean up disposable review branches like pr-<number> and *-review once they are merged or no longer needed.

Raw

config.toml

	developer_instructions = """
	Prefer detached PR checkouts for review-only work.
	Ask before deleting unmerged branches.
	"""

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment