Skip to content

Add option to automatically merge PRs from bots#8

Merged
alexdewar merged 1 commit intomainfrom automerge-bot-prsMay 29, 2024

Commits

Commits on May 29, 2024