enabled an automatic merge when the pipeline for 14be3644 succeeds
mentioned in commit 30229104
merged