diff options
| author | Nico Sallembien <nsallembien@google.com> | 2010-04-06 10:40:01 -0700 |
|---|---|---|
| committer | Nico Sallembien <nsallembien@google.com> | 2010-04-13 10:20:37 -0700 |
| commit | a1bfd2cd7253b1662e08f5ec5be3d863430c756c (patch) | |
| tree | 48cf4d0a983e37b50220cecc043793d6a5f0c319 /git_config.py | |
| parent | 6d7508b3d52781a3f8170a4257c65e2de176cc68 (diff) | |
| download | git-repo-a1bfd2cd7253b1662e08f5ec5be3d863430c756c.tar.gz | |
Add a 'smart sync' option to repo syncv1.6.9.2
This option allows the user to specify a manifest server to use when
syncing. This manifest server will provide a manifest pegging each
project to a known green build. This allows developers to work on a
known good tree that is known to build and pass tests, preventing
failed builds to hamper productivity.
The manifest used is not "sticky" so as to allow subsequent
'repo sync' calls to sync to the tip of the tree.
Change-Id: Id0a24ece20f5a88034ad364b416a1dd2e394226d
Diffstat (limited to 'git_config.py')
0 files changed, 0 insertions, 0 deletions