enabled an automatic merge when the pipeline for 9f3484f4 succeeds
merged
mentioned in commit a1227b6f