enabled an automatic merge when the pipeline for df7b0f0b succeeds
merged
mentioned in commit fc64415b