I downloaded the android sources using repo. It says repo is initialized to a directory and thats where the folders get downloaded. Now I have another local_manifest.xml file wh
Repo 1.9.1 has a new feature.
You'll find a new folder under .repo/ named local_manifests.
.repo/
local_manifests
The repo tool will follow also the projects in the manifest files you'll add into this folder.
repo
More info here.