enabled an automatic merge when the pipeline for 4d86e3cc succeeds
merged
mentioned in commit 830e0ff7