Thanks for the YouTube link @stucork - For the benefit of others, the Github bit comes about 40 minutes in to the video i.e. https://youtu.be/hQWRp-FdTpc?t=2376, and my summary of the entire introduction is:
"SSH stands for Secure SHell and is a way of logging in to servers (or services such as Anvil/Github/Digital Ocean etc.) without using Passwords. You generate a public and private key which is saved to your HOME (or USER) directory by typing ssh-gen (or ssh-keygen -t rsa … not sure what the difference is or if it matters?) from the command line, and then copy/paste/save the public key to the server or service you want to access."
Step 0 (add ssh keys to anvil and github): Github apparently requires other specific parameters i.e. ssh-keygen -t rsa. Just to check, although the video explains how to have separate keys for different servers, can that same SSH key be used for Anvil AND Github or doesn Anvil need a different specific type of SSH key?
Step 1: Thanks for explaining what origin (and remotes) means with examples - new terminology for me so definitely needs to feature in any final ‘Tutorial’ we come up with.
Step 2: Sorry to be a pain but could you be more prescriptive about what to put in <name> and <url> please? Also I think a key concept I was missing (if I now understand you correctly) is that Anvil already automatically has/is a remote which you can push to and pull from but you need to set up SSH first? You said you think SSH isn’t necessary but I’ve been unable to get things working with just passwords so far… so I’m pinning my hopes on SSH for sorting this out!
Step 4: Is there anything else I need to do in Github Desktop to setup SSH before pulling?
Step 5: Is there anything else I need to do in Github Desktop to setup SSH before pushing?
I’m writing this without having retried up to Step 5 (which I’ll do later this evening and report back and if successful, summarise everything in a final step-by-step Tutorial).