-
@hanspagel GitHub currently has an Auto Merge feature in beta. But as I understood it, you have to enable the auto-merge on each pull request … which is silly for dependabot PRs. docs.github.com/en/free-pro-team@latest/github/collaborating-with-issues-and-pull-requests/automatically-merging-a-pull-request
-
@hanspagel I think it should be possible with GitHub Actions, but hadn’t yet the time to work on that. But I want to have a first version for Feb 1st. I don’t want to manually merge 100 Dependabot PRs next month again. 😅