This would be far more useful as a general curated open source database if github access were not required (one useful side effect is that, when it is down the next time, gitrep would still be up). Then it would be possible to specify alternative repo locations