diff options
author | Julien Campergue <julien.campergue@parrot.com> | 2013-10-16 11:02:35 +0200 |
---|---|---|
committer | David Pursehouse <david.pursehouse@sonymobile.com> | 2013-12-10 08:27:07 +0000 |
commit | 335f5ef4ad25a85c69fe6d8c848c5d1d447e22c8 (patch) | |
tree | 6a64a34ce5063d8d255c7840e167db2484e68c9a /repo | |
parent | 61df418c599a0359b33b8a65a12660023fc37a2a (diff) | |
download | git-repo-335f5ef4ad25a85c69fe6d8c848c5d1d447e22c8.tar.gz |
Add --archive option to init to sync using git archive
This significantly reduces sync time and used brandwidth as only
a tar of each project's revision is checked out, but git is not
accessible from projects anymore.
This is relevant when git is not needed in projects but sync
speed/brandwidth may be important like on CI servers when building
several versions from scratch regularly for example.
Archive is not supported over http/https.
Change-Id: I48c3c7de2cd5a1faec33e295fcdafbc7807d0e4d
Signed-off-by: Julien Campergue <julien.campergue@parrot.com>
Diffstat (limited to 'repo')
-rwxr-xr-x | repo | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -180,6 +180,10 @@ group.add_option('--reference', | |||
180 | group.add_option('--depth', type='int', default=None, | 180 | group.add_option('--depth', type='int', default=None, |
181 | dest='depth', | 181 | dest='depth', |
182 | help='create a shallow clone with given depth; see git clone') | 182 | help='create a shallow clone with given depth; see git clone') |
183 | group.add_option('--archive', | ||
184 | dest='archive', action='store_true', | ||
185 | help='checkout an archive instead of a git repository for ' | ||
186 | 'each project. See git archive.') | ||
183 | group.add_option('-g', '--groups', | 187 | group.add_option('-g', '--groups', |
184 | dest='groups', default='default', | 188 | dest='groups', default='default', |
185 | help='restrict manifest projects to ones with specified ' | 189 | help='restrict manifest projects to ones with specified ' |