enabled an automatic merge when the pipeline for 580e7682 succeeds
merged
mentioned in commit 4a5875bc