GitDumpExtension.githubUseSshUrl added and used.