The scripts I used/use to get a dataset of 500k Github repositories.