Use Agda's official git repo.