enabled an automatic merge when the pipeline for 3d17ce85 succeeds
mentioned in commit 9d866d04
merged