enabled an automatic merge when the pipeline for a56c4589 succeeds
merged
mentioned in commit 86bb9d3f
mentioned in commit b7c0284e