enabled an automatic merge when the pipeline for 5b894100 succeeds
merged
mentioned in commit 4141641d