enabled an automatic merge when the pipeline for 833ab4e9 succeeds
mentioned in commit 6b33b8ab
merged