bin/download-github-repos: Correct bug.

This previously downloaded each repo over ssh, which needlessly required
authentication.

bin/download-github-repos

@@ -38,7 +38,7 @@ get_repo_urls() {
     # Math is hard.
     for ((page = 1; page <= (n + 99) / 100; page++)); do
         curl -s "$GITHUB_API/users/$org/repos?page=$page&per_page=100" |
-            jq -r ".[].ssh_url"
+            jq -r ".[].git_url"
     done
 }