From 822e571272eefb4c4d76e9f0f3be2007e6a4d9b5 Mon Sep 17 00:00:00 2001 From: Marien Zwart Date: Sat, 8 Nov 2025 15:02:59 +1100 Subject: [PATCH] doc: fix gitlab remote url SSH to gitlab.freedesktop.org times out. ssh.gitlab.freedesktop.org (copied from the Gitlab UI) works.. Part-of: --- doc/user/contributing.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/user/contributing.rst b/doc/user/contributing.rst index db83ba57..28d4a415 100644 --- a/doc/user/contributing.rst +++ b/doc/user/contributing.rst @@ -181,7 +181,7 @@ sufficient to make some of the more confusing steps obvious. with your username). git will call this repository ``gitlab``. :: cd /path/to/libinput.git - git remote add gitlab git@gitlab.freedesktop.org:USERNAME/libinput.git + git remote add gitlab git@ssh.gitlab.freedesktop.org:USERNAME/libinput.git git fetch gitlab - Create a new branch and commit your changes to that branch. ::