diff options
author | Shawn O. Pearce <sop@google.com> | 2008-10-23 16:19:27 -0700 |
---|---|---|
committer | Shawn O. Pearce <sop@google.com> | 2008-10-23 16:20:14 -0700 |
commit | 5cc6679fb84ec887a09895c53a279df821faad49 (patch) | |
tree | 36c80f9302586c639385084d1970f982b1434006 /gerrit_upload.py | |
parent | 632768bc65ae0f1dc9eb9260c9146c42d9965a18 (diff) | |
download | git-repo-5cc6679fb84ec887a09895c53a279df821faad49.tar.gz |
Support user supplied custom .repo/local_manifest.xml filesv1.0.5
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>
Diffstat (limited to 'gerrit_upload.py')
0 files changed, 0 insertions, 0 deletions