enabled an automatic merge when the pipeline for 5ddff15b succeeds
mentioned in commit cb0dbac1
merged