enabled an automatic merge when the pipeline for f7c38847 succeeds
merged
mentioned in commit 5996dac0