Revision history [back]

This looks like a problem with name resolution on your machine. It's saying it can't find the name "" in DNS, but it's resolving for me with no problem. Do you have trouble cloning Git repositories from anywhere else? You could try git clone instead, for example (the URL you've been trying is an old redirect maintained for compatibility with the previous place that repository was hosted).