Today I had to add a remote to a Git repository after deleting the Git remote with
git remote rm origin, for reasons that I won’t bore you with.
Then I added a new Git remote to a GitHub repository with
git remote add origin [email protected]:flaviocopes/myrepo.git
flaviocopes/myrepo to your GitHub URL.