Use GitHub's API; don't scrape by hand.