enabled an automatic merge when the pipeline for 093b5072 succeeds
mentioned in commit 3b232fc2
merged