This reverts commit 7fd9fcdf
enabled an automatic merge when the pipeline for a46fe691 succeeds
merged
mentioned in commit 7a9afaa9