Hello, I have an open MR at https://gitlab.freedesktop.org/xorg/proto/xorgproto/-/merge_requests/64 which is already approved by Keith. What needs to be done so that it get merged? Also the pipeline seems not to work anymore - I'm pretty sure that's not a result of my change since I only updated the documentation. Kind regards, Michael.