Checking Android source from github

Question

After going through all these steps to check the source code of Android (the gingerbread branch), only to go to the compilation error, I decided to try to get the source code from another source.

Here are the steps I took to verify the source code from the GitHub.com repository.

I checked the repo tool from the GitHub.com repository

git clone git://github.com/android/tools_repo.git 

In the downloaded repo script file, I changed the location of the repo tool as follows:

 ## repo default configuration ## #REPO_URL='git://android.git.kernel.org/tools/repo.git' REPO_URL='git://github.com/android/tools_repo.git' REPO_REV='stable' 

After that, I created a repository for the source code using the repo script 'git shell.

 repo init -u git://github.com/android/platform_manifest.git -b gingerbread 

It gave me successful results; "repo initialized in / home / my / directory"

However, when I try repo sync , I get the following error message:

 $ repo sync Initializing project platform/bionic ... android.git.kernel.org[0: 149.20.4.77]: errno=Connection timed out fatal: unable to connect a socket (Connection timed out) error: Cannot fetch platform/bionic 

Where are the links to now-offline android.git.kernel.org? cat repo|grep kernel.org gives nothing.

Answer 1

Here you can find howto when checking from github.

Answer 2

If you look at the default metric in the platform_manifest repository, you will see that kernel.org is still used quite often.

You will need to wait until kernel.org returns to the Internet, or consider hacking into CyanogenMod, which has a working manifest.

EDIT: It seems that all Korg repositories are mirrored on GitHub. In this case, try to patch with this stretch request , and then try repo synchronization.