enabled an automatic merge when the pipeline for 7101f37c succeeds
merged
mentioned in commit 28e24b1d