A github bot for merging & updating pull requests with a label.
AGPL-3.0 License
Declarative way to configure GitHub labels