Martin von Zweigbergk a33417fa35 github: pass --rebase to gh pr merge since it requires it ... It seems that there's no way to just enable auto-merge without specifying a merge strategy (presumably because some projects allow several GitHub merge strategies), so I guess we'll have to live with the strategy being duplicated between here and the project settings.		2022-09-06 16:08:24 -07:00
..
workflows	github: pass --rebase to gh pr merge since it requires it	2022-09-06 16:08:24 -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