How to set Android source code when hosting git tree as private repository on GitHub?

I'm trying to build a private repository of Android source code, and hosting git tree on GitHub as a private repository

I have no problem changing the manifest.xml file to point to the public git tree hosted on the GitHub, just like cynagonmod, but when trying to point to the private repos, I encountered the following error when trying to "repo sync":

Where username / Android_ external_ WebKit is of course a private GitHub repository of the same name

I understand that the error occurred because I didn't specify my user name and credentials for GitHub, but I didn't see how to do this in manifest.xml with repo

Any ideas?

thank you! Gillard

resolvent:

Well, it's foolish to answer my own question, but I find the answer, so maybe I'll save a few minutes to the next person who meets it

The answer is very simple: create a remote Tag in the manifest.xml file, where fetch specifies SSH as the transport and "git" as the user name. This is an example:

<remote name="private_stuff" fetch="ssh://git@github.com/" />

Now use "private_stuff" as the remote field of the GIT tree you want to pull. For example:

<project path="xyz" name="username/xyz" remote="private_tuff" />

And initialize and synchronize repo as usual