To clarify: we can forget port 4022 for now in any remote urls or client configs. There had been a dangling 4022 in the new gitlab config for ssh urls, but that is fixed now. So now, we are on the standard port 22, which does not need to be specified.
Sorry for any confusion.
Please see the broadcast messages (3 of them currently) when you log into the website, for other config details.
Dave Cooper
---- On Sat, 28 Dec 2024 03:36:48 -0500 marco.antoniotti@unimib.it wrote ----
FYI
I just did a push to gitlab (repo:XHTMLambda) and it worked. Bu I do not remember when exactly I updated my setup.
All the best
Marco
On Sat, Dec 28, 2024 at 6:28 AM Jon Boone ipmonger@delamancha.org wrote:
Ray, use port 4022 instead of 22 on the remote set-url command - git@gitlab.common-lisp.net:4022/cmucl/cmucl.git - and see if that helps for that one repo. I can help you with your local issues (DNS, etc) when you get back…
—jon