enabled an automatic merge when the pipeline for 5eee34c3 succeeds
mentioned in commit 41614e79
merged