GitHub automation tool that streamlines pull request workflows with automatic merging, backporting, and queue management
Replaced by native GitHub Actions workflows for auto-merge and label-based automation.