merge-and-clean-upMerge an approved GitHub pull request, update its base checkout, and safely remove only the merged PR's remote branch, local branch, and isolated worktree. Use when the user says "merge and clean up", "merge this PR and cleanup", "land this pull request", "merge then remove the worktree", or asks to
publish-docsUse when saving an authorized documentation-only change (project knowledge, PRDs, designs, review records, README files, architecture documents) to the default branch from an isolated save workspace. Checks, commits, pushes, and verifies the remote result without a pull request.
pull-latestSafely bring a local git repository up to date with its remote when the checkout may be shared by parallel agent sessions. Fetch + prune, fast-forward when possible, and when local and remote have diverged, inspect both sides and reconcile with a merge pull — never rebase, never reset, never push. U
reset-to-remoteHard-reset a local git repository to exactly mirror its remote — fetch + prune, reset every local branch that tracks a remote to that remote's tip, delete branches whose remote was removed, and reinstall dependencies from the lockfile. Use this whenever the user wants to "match remote", "sync with r