Using the GitHub API to pre-sort repos based on pushed date. #1031.