Oliver Klee f89dcb0842 [TASK] Switch to using GitHub's own automerge feature (#758) ... Our current automerging CI task does not work reliably. So instead of using a GitHub Action that does the automerging itself, we are now using a GitHub Action that only triggers GitHub's own automerge feature (which works a lot more reliably).		2023-02-24 11:20:27 +01:00
..
workflows	[TASK] Switch to using GitHub's own automerge feature (#758)	2023-02-24 11:20:27 +01:00
dependabot.yml	[TASK] Switch the Dependabot target milestone to 3.0.1 (#673)	2022-11-14 10:17:31 +01:00