Updating list of repos for github selector script