This reverts commit 6796430b
enabled an automatic merge when the pipeline for f5a76625 succeeds
merged
mentioned in commit e9bbe86f