enabled an automatic merge when the pipeline for 03ded277 succeeds
mentioned in commit 219632d8
merged