Closed alexdewar closed 1 month ago
This PR adds a workflow to auto-merge PRs from bots (#33) and updates the CODEOWNERS file so that (hopefully!) we won't all be tagged for these bot PRs (#36).
CODEOWNERS
Closes #33. Closes #36.
This PR adds a workflow to auto-merge PRs from bots (#33) and updates the
CODEOWNERS
file so that (hopefully!) we won't all be tagged for these bot PRs (#36).Closes #33. Closes #36.