diff options
| author | Scott Fan <fancp2007@gmail.com> | 2013-02-28 09:34:14 +0800 |
|---|---|---|
| committer | Scott Fan <fancp2007@gmail.com> | 2013-04-11 08:59:09 +0800 |
| commit | db83b1b5abcc2df1b5c7a76ca74ff60e88fe956e (patch) | |
| tree | 43f388a8dfd84a8e7b38c9e5787ae60e3dc84265 /subcmds/info.py | |
| parent | ede7f12d4a0f7362aaccd2c825a83765b9b9d968 (diff) | |
| download | git-repo-db83b1b5abcc2df1b5c7a76ca74ff60e88fe956e.tar.gz | |
Allow mirror to be created in directories specified by 'path' attribute
In some cases, especially when local manifest files exist, users may want
to force the mirrored repositories to be created in folders according to
their 'path' attribute in the manifest, rather than according to the name
of the repositories.
To enable this functionality for specified mirror, add a new attribute
'force-path' for that project in the manifest, set its value to 'true'.
Change-Id: I61df8c987a23d84309b113e7d886ec90c838a6cc
Signed-off-by: Scott Fan <fancp2007@gmail.com>
Diffstat (limited to 'subcmds/info.py')
0 files changed, 0 insertions, 0 deletions