I added
<https://gitlab.com/lilypond/lilypond/-/merge_requests/3115> which is based on <https://gitlab.com/lilypond/lilypond/-/merge_requests/3111> and the view of the commits on top of that other merge requests looks ok. However, Gitlab does not appear to start a pipeline here. -- David Kastrup
