Gitlab Maintenance 14.03.2025 | 20:00 - 23:00 MEZ
enabled an automatic merge when the pipeline for 4f15525d succeeds
merged
mentioned in commit 23f2cc4a