Same comment as above about whether we can rely on the local URL always being `git@github.com...`.