[graph-tool] Git repository is no more accessible