enabled an automatic merge when the pipeline for 83bd9a18 succeeds
mentioned in commit aaef1c3b
merged