Martin von Zweigbergk f5fc3c35f5 github: disable broken attempt to auto-merge Dependabot PRs again ... Sigh, I thought it was fixed now, but it seems it's only `gh pr ready` that works with `GITHUB_TOKEN`. This rolls back commit ee7e7e1b62.		2022-12-05 14:23:43 -08:00
..
workflows	github: disable broken attempt to auto-merge Dependabot PRs again	2022-12-05 14:23:43 -08:00
dependabot.yml
ISSUE_TEMPLATE.md
PULL_REQUEST_TEMPLATE.md	docs: describe how we do code reviews	2022-12-02 13:05:32 -08:00