enabled an automatic merge when the pipeline for 5715f854 succeeds
merged
mentioned in commit 454743b2