enabled an automatic merge when the pipeline for 02fdf7dc succeeds
merged
mentioned in commit a2d9ca39