enabled an automatic merge when the pipeline for 7d13d8af succeeds
merged
mentioned in commit 308d3ee8