More github url variants

1 files changed, 1 insertions, 1 deletions

diff --git a/sync-all b/sync-all
index 16165bb267..ba80cfe35d 100755
--- a/sync-all
+++ b/sync-all
@@ -20,7 +20,7 @@ my $bare_flag = ""; # NOT the opposite of checked_out_flag (describes local repo
 
 my %tags;
 
-my $GITHUB = qr!(?:git@|git://|https://|http://)github.com!;
+my $GITHUB = qr!(?:git@|git://|https://|http://|ssh://git@)github.com!;
 
 sub inDir {
     my $dir = shift;