enabled an automatic merge when the pipeline for f44eed44 succeeds
mentioned in commit 13d025a1
merged