enabled an automatic merge when the pipeline for 3b880755 succeeds
merged
mentioned in commit ac222a02