list_repos gone

simplified code fetching repository names from github.