enabled an automatic merge when the pipeline for 11f54491 succeeds
merged
mentioned in commit 821fa991