Can we list a tool whose git repository isn't hosted on github? I'd like to add [graph-tool](https://graph-tool.skewed.de), which repository is at <https://git.skewed.de/count0/graph-tool>.