5 repos, listed by the GitHub API, https://api.github.com/users/jqlang/repos?per_page=100 at 10:34.