Tool
DeployBot
A GitHub merge queue driven by agents: they prepare and review PRs, the human says "deploy", and it merges independent work and pauses after failures.
The summary describes what the project says it does; inclusion is not an endorsement.