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
..
automerge.yml	[TASK] Switch to using GitHub's own automerge feature (#758)	2023-02-24 11:20:27 +01:00
ci.yml	[TASK] Switch to using GitHub's own automerge feature (#758)	2023-02-24 11:20:27 +01:00
codecoverage.yml	[TASK] Avoid race condition on case-insensitive filesystems (#657)	2022-10-24 18:26:02 +02:00
predefined.yml	Upgrade to TYPO3 v12.2 (#746)	2023-02-08 17:26:08 +01:00
publish.yml	[TASK] Harden Github Actions workflows (#649)	2022-10-19 15:14:17 +02:00