If you wish not to interact with Github through the web, you can use wget or curl to download the JSON descriptor of all our repos. You can use jq to process it further and get just the URLs to clone:
for i in $(seq 1 3) ; do curl https://api.github.com/orgs/gnustep/repos?page=$i | jq -r .[].clone_url done (If you examine the JSON, you will notice there's also ssh_url and svn_url depending on what you need.) If you wish to avoid interacting with Google Groups through web UI, you can subscribe by sending an email to gnustep-commits+subscr...@googlegroups.com. You will receive an email requesting you to confirm your subscription. In its contents, it says that you can just reply to the email to subscribe. Do so (preserving subject). You should soon receive a confirmation of your subscription. This should limit your exposure to non-free software, in case this is important to you. Move to gnu.org-hosted mailing list has not happened yet, and there has not yet been work on moving primary hosting to self-hosted Gogs or Gitlab instance (or something else, should we discover something particularly compelling). _______________________________________________ Gnustep-dev mailing list Gnustep-dev@gnu.org https://lists.gnu.org/mailman/listinfo/gnustep-dev