enabled an automatic merge when the pipeline for 40c93873 succeeds
merged
mentioned in commit 48f6e418