enabled an automatic merge when the pipeline for 7402d29b succeeds
merged
mentioned in commit 965d7753