Add ssh fetch with custome port

[jakob30061]

This adds support for custom ssh ports. If github-server-url has a url with a different ssh port like (https://example.com:222) and fetching with ssh is selected, this commit adds the required ssh:// and the port to the origin url.

Tested with custom ssh port (https://example.com:222), no ssh port (https://example.com) where default port 22 is used and with default port 22 explicitly set (https://example.com:22).

closes #1315

[jakob30061]

Is this needed?

[jbgomond]

Big yes for that one. I cannot use the step in my case without it :(

[jafnhaar]

Want that feature

[lucas-stauder]

Would be great to have!

[jakob30061]

Big yes for that one. I cannot use the step in my case without it :(

You can use this PR until (if ever) this is merged

-uses: actions/checkout@v4
+uses: https://github.com/jakob30061/checkout@add-ssh-fetch-with-custome-port

[freeware-superman]

Hi,
Thank you for your work.
I guess that it is just my own incompetence and lack of patience, but I wasn't able to set it up myself.
Thus, I used a work around that I found myself and described at an open issue: #1315 (comment).

This workaround might work with any upstream tags as it modifies the ssh config file, but I've only tested v3.

I hope this can help someone until there is a proper fix merged.