Closed alexdewar closed 3 months ago
While this repo provides this workflow for users of the template, we don't use it for the repo itself!
We should remedy this so that we don't have to manually merge bot PRs all the time.
While this repo provides this workflow for users of the template, we don't use it for the repo itself!
We should remedy this so that we don't have to manually merge bot PRs all the time.