Cloning Android sources to a local repository server
I want to develop on top of Android using a local Android repository server. I need to add several new git repositories to the hierarchy of gits, and I need to modify existing android sources for a custom tailoring of Android. What is the "correct" way to clone the entire Android source tree of git repositories, such that I can push/pull to/from a common local repository server, and still easily pull new changes from Android upstream? I am specifically looking for advice on how to use the repo script for interaction with my own server, and how to set up the manifest git repository and managing