Gitlab Maintenance 14.03.2025 | 20:00 - 23:00 MEZ
enabled an automatic merge when the pipeline for 87b0b0ba succeeds
merged
mentioned in commit a5e5d940