enabled an automatic merge when the pipeline for de5dd8e1 succeeds
merged
mentioned in commit df18d87a