GitHub top-1000 generation script