don't do nothing if the GitHub user has no repos