ssh on standard port 22 now (was: Re: Can pull but cannot push)

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 [email protected] 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 <[email protected]> wrote:

Ray, use port 4022 instead of 22 on the remote set-url command - [email protected]: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