FYI, in case it wasn't obvious from comments in the Wiki source: https://wiki.cryptech.is/wiki/GitRepositories and all the pages below it are generated by an hourly script, so any changes you might need to make there will have to be made to the script.