This reverts commit 4379e727
enabled an automatic merge when the pipeline for 8a7ffe57 succeeds
approved this merge request
canceled the automatic merge
mentioned in commit da02f448
merged