enabled an automatic merge when the pipeline for 7b7665a0 succeeds
merged
mentioned in commit 947545b8