These are now redirects, and no longer git clone-able despite looking like git repo URLs. I've updated them to the new locations.