I am trying to switch my remote from HTTPS to SSH. First I verify that it started out as HTTPS. I run:

`$ git remote get-url origin` 

result: `https://<repo>.git`

I then run `$ git remote set-url origin git@github.com:<repo>.git`

Then I run so set the remote URL that I want:
`$ git remote get-url origin` 

and it STILL returns `https://<repo>.git`!

...however, if I run:

`git config --get remote.origin.url` 

Then I get back the expected url of `git@github.com:<repo>.git`