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	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	docs: describe how we do code reviews	2022-12-02 13:05:32 -08:00