Martin von Zweigbergk 2ff710a131 github: enable auto-merge on Dependabot PRs ... To merge a Dependabot PR, I have to enable auto-merge (two clicks, including one to confim) and then review and approve it. Since our branch protections require the PR to be approved, it seems that that should be enough. This patch adds a GitHub action that calls runs the GitHub CLI to do that. It is based on https://dev.to/slashgear_/how-to-automatically-merge-dependabot-pull-requests-with-github-actions--30pe		2022-09-02 11:49:26 -07:00
..
workflows	github: enable auto-merge on Dependabot PRs	2022-09-02 11:49:26 -07:00
dependabot.yml	github: add a dependabot config	2022-03-16 21:09:01 -07:00
ISSUE_TEMPLATE.md	github: include version number in issue template again	2022-03-12 23:34:37 -08:00
PULL_REQUEST_TEMPLATE.md	github: include reminder about docs in PR template	2022-06-09 22:43:53 -07:00