enabled an automatic merge when the pipeline for 895eda37 succeeds
merged
mentioned in commit 92b04ba7