Get rid of different URLs for read-only/read-write clones

Since now, you should set

  git config --global url.ssh://git@github.com.pushinsteadof https://github.com

to push to github via ssh.