Use Github auth for git clones if the PR is private

Use github oauth token or a github user and password for git clones.

If the github_user has access to the repository, I don't think this is necessary.