enabled an automatic merge when the pipeline for 7fe6d4fb succeeds
merged
mentioned in commit 06dc035e