enabled an automatic merge when the pipeline for 0b830148 succeeds
merged
mentioned in commit f4c7441e