enabled an automatic merge when the pipeline for 80b5f69d succeeds
merged
mentioned in commit 448309d4