Connect to a Github Repo with SSH via HTTPS (port 443)

[pQraus]

We have tried to connect to a github repo with SSH) on port 443 (the standard port 22 is blocked in our network).

It was very hard to configure argocd to get the access.
We have tried different things (e.g. #9827) before it works.

I don't find much information in the docs.

Our Solution

• use the ssh://... url style, especially for github repos this urls look like this: ssh://[email protected]:443/USERNAME/REPO.git GitHub Docs
• add the ssh known hosts for ssh.github.com; normally argocd comes only with the standard github.com known hosts; we must explicit add the keys for ssh.github.com on port 443 (e.g. via argocd's UI):

  [ssh.github.com]:443 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOMqqnkVzrm0SdG6UOoqKLsabgH5C9okWi0dh2l9GKJl
  [ssh.github.com]:443 ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBEmKSENjQEezOmxkZMy7opKgwFB9nkt5YRrYMjNuG5N87uRgg6CLrbo5wAdT/y6v0mKV0U2w0WZ2YB/++Tpockg=
  [ssh.github.com]:443 ssh-rsa AAAAB3NzaC1yc2EAAAABIwAAAQEAq2A7hRGmdnm9tUDbO9IDSwBK6TbQa+PXYPCPy6rbTrTtw7PHkccKrpp0yVhp5HdEIcKr6pLlVDBfOLX9QUsyCOV0wzfjIJNlGEYsdlLJizHhbn2mUjvSAHQqZETYP81eFzLQNnPHt4EVVUh7VfDESU84KezmD5QlWpXLmvU31/yMf+Se8xhHTvKSCZIFImWwoG6mbUoWf9nzpIoaSjB+weqqUUmpaaasXVal72J+UX2B+2RPW3RcT0eOzQgqlJL3RKrTJvdsjE3JEAvGq3lGHSZXy28G3skua2SmVi/w4yCE6gbODqnTWlg7+wC604ydGXA8VJiS5ap43JXiUFFAaQ==
  

  It would be very nice when these keys are deafult keys.

Maybe there is an other (easier) way to connect to github repo with SSH over HTTPS?