Loading...
Loading...
Finalize GitHub PRs end-to-end: update branch/PR, monitor CI until green, squash-merge, and clean up local/remote state. Use when asked to $fin or to finish/land/merge/close a PR, watch checks or runs, squash-merge, delete the branch, and sync local state.
npx skill4agent add tkersey/dotfiles fingh pr viewgh pr listgit statusgit pushgh pr checks --watchgh run watch <run-id>gh pr merge --squash --delete-branch