Update to ssh access to freedesktop gitlab

[Alan Coopersmith]

As part of the migration of the freedesktop.org gitlab, the hostname
used for accessing the git repos over ssh will be changing from
gitlab.freedesktop.org to ssh.gitlab.freedesktop.org.

You can manually update all of your local clones with 'git remote set-url',
or you can also add a simple snippet in your .ssh/config:

Host gitlab.freedesktop.org
	Hostname=ssh.gitlab.freedesktop.org

This will transparently update all the addresses of your clones.

For more information on this & other aspects of the migration, see:
https://gitlab.freedesktop.org/freedesktop/freedesktop/-/issues/2076#note_2831847

-- 
         -Alan Coopersmith-                 alan.coopersmith at oracle.com
          Oracle Solaris Engineering - https://blogs.oracle.com/solaris

-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0xA2FB9E081F2D130E.asc
Type: application/pgp-keys
Size: 8712 bytes
Desc: OpenPGP public key
URL: <https://lists.x.org/archives/xorg-devel/attachments/20250405/280c685b/attachment.key>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature.asc
Type: application/pgp-signature
Size: 840 bytes
Desc: OpenPGP digital signature
URL: <https://lists.x.org/archives/xorg-devel/attachments/20250405/280c685b/attachment.sig>