enabled an automatic merge when the pipeline for b94036e8 succeeds
mentioned in commit 31b591ee
merged