Also allow http://github.com (#8824)

1 files changed, 1 insertions, 1 deletions

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