If you are struggling to get your ssh key to connect to github within your workspace, we generally suggest re-adding the ssh key to your Domino account to make sure it's the correct key.
Please note that you'll need to include the
-----BEGIN OPENSSH PRIVATE KEY----- and -----END OPENSSH PRIVATE KEY----- header and footer when copying the private key into domino…
Also, if you're switching from a PAT to SSH key you'll need to change the format for your github URI.
For example, instead of using this:
You'll need to use:
You may also want to manually syncing from a workspace terminal to make sure that there's not a network issue.
Here are the full docs on adding the key to your Domino account: Linking Github to Domino