enabled an automatic merge when the pipeline for 8f7b6eb6 succeeds
mentioned in commit 27bf52f0
merged