enabled an automatic merge when the pipeline for 7bf00db6 succeeds
merged
mentioned in commit d62949db