enabled an automatic merge when the pipeline for 43734ded succeeds
mentioned in commit e15b7782
merged