Git clone failing
The main git repository is not responding:
% git clone git://git.skewed.de/graph-tool
Cloning into graph-tool...
fatal: The remote end hung up unexpectedly
I tried it last night also so it should not be an intermittent network issue.
Possibly related, the mirrors on github and gitorious appear to be out of sync.
Anders