This reverts commit 9c5da57f
enabled an automatic merge when the pipeline for da9668aa succeeds
merged