enabled an automatic merge when the pipeline for 6aceb74b succeeds
mentioned in commit d4832e8b
merged