mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-08-20 03:29:13 +08:00
By creating a .repo/local_manifest.xml the user can add extra
projects into their client space, without touching the main
manifest script.
For example:
$ cat .repo/local_manifest.xml
<?xml version="1.0" encoding="UTF-8"?>
<manifest>
<project path="android-build"
name="platform/build"
remote="korg"
revision="android-1.0" />
</manifest>
Signed-off-by: Shawn O. Pearce <sop@google.com>
|
||
|---|---|---|
| codereview | ||
| froofle | ||
| subcmds | ||
| .gitignore | ||
| color.py | ||
| command.py | ||
| COPYING | ||
| editor.py | ||
| error.py | ||
| gerrit_upload.py | ||
| git_command.py | ||
| git_config.py | ||
| import_ext.py | ||
| import_tar.py | ||
| import_zip.py | ||
| main.py | ||
| Makefile | ||
| manifest.py | ||
| pager.py | ||
| project.py | ||
| remote.py | ||
| repo | ||