enabled an automatic merge when the pipeline for 394542e3 succeeds
merged
mentioned in commit 29ce8dda