Switch to the github-hosted repo.