Scraping GitHub for files of a specific type

To curate a dataset, we will scrape GitHub for the specific file types we are interested in.