.... it's easier
enabled an automatic merge when the pipeline for 6b36db35 succeeds
merged
mentioned in commit 8bd31af5