enabled an automatic merge when the pipeline for 9ba1037e succeeds
merged
mentioned in commit 41c6b3a1