get-repo: don't assume github urls end with .git

git clone git@github.com:foo/bar is a supported way of cloning and
leaves a url in .git/config that does not end in .git