Looking into
https://gitlab.com/lilypond/lilypond/-/pipelines I see that for every merge I do, two pipelines are executed. Apparently, this doesn't happen for Jean. What am I doing wrong? Note that I simply press the 'Rebase' button followed by 'Merge if rebase succeeds'. Werner