Drive GitHub PRs to merge-ready: watch CI, fix failures, resolve reviews. Self-contained loop until pr.ready=true.
Latest commits.
Builders behind this project.
