enabled an automatic merge when the pipeline for 7a975c8c succeeds
merged
mentioned in commit cd4d5a42