This reverts merge request !1255 (merged)
enabled an automatic merge when the pipeline for 3973d160 succeeds
merged
mentioned in commit a7d4f774