enabled an automatic merge when the pipeline for 7557430d succeeds
merged
mentioned in commit bc065d35