Get all the repository names out of GitHub and dump them in a Google Spreadsheet