Done: https://gitlab.freedesktop.org/xorg/xserver/-/merge_requests/416/diffs
I had tried sending a merge request before sending the patch to this mailing list, but couldn’t find a fork button. Today, gitlab.freedesktop.org showed me a prompt about not having an SSH key configured and not having a Personal Access Token created, explaining that the lack of these will prevent me from writing any code. Regarding Personal Access Tokens: it wasn’t entirely obvious to me how to use these. Maybe GitLab could link to a help page explaining that the URL format to use in git is https://<token-name>:<token-token>@gitlab.freedesktop.org/<account>/xserver I configured both, after which the fork button showed up! Unfortunately, hitting fork resulted in a 502 server error, but another attempt a minute later worked. On Thu, Apr 2, 2020 at 2:49 PM Olivier Fourdan <four...@gmail.com> wrote: > > Hi Michael, > > On Thu, 2 Apr 2020 at 14:35, Michael Stapelberg > <michael+freedesk...@stapelberg.ch> wrote: >> >> Friendly ping? :) > > > Best is to submit your patches as a merge request in gitlab, see: > > https://gitlab.freedesktop.org/xorg/xserver > > HTH > Cheers > Olivier > _______________________________________________ xorg-devel@lists.x.org: X.Org development Archives: http://lists.x.org/archives/xorg-devel Info: https://lists.x.org/mailman/listinfo/xorg-devel