3 commits

Author	SHA1	Message	Date
Marco Ferrari	59154bf97f	ci: enable auto-merge for dependabot pull requests (#5063) ... Enabling auto-merge doesn't actually merge these PRs because we still require approvals.	2023-12-24 17:20:13 +01:00
Zack Koppert	5b4dd480f4	github-actions automerges are causing merge queue CI jobs not to get triggered. Turning this off for now	2023-10-25 16:18:08 -07:00
Marco Ferrari	4847ddc86b	Configure automation for dependency updates (#4648) ... * Configure automation for dependency updates * Configure automation for dependency updates	2023-09-12 19:04:39 +00:00