diff options
| author | Chris AtLee <chris.atlee@gmail.com> | 2014-01-16 21:32:33 -0500 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@sonymobile.com> | 2014-03-03 10:17:03 +0000 |
| commit | 2fb6466f795eb30c1dfa598501f5b5d2981e6a5f (patch) | |
| tree | 09664b3abb134e5cce4af110174e6498523540d8 /error.py | |
| parent | 724aafb52d546b23658e517278e4d93ec351dbaf (diff) | |
| download | git-repo-2fb6466f795eb30c1dfa598501f5b5d2981e6a5f.tar.gz | |
Don't fetch from remotes if commit id exists locally
In existing workspaces where the manifest specifies a commit id in the
manifest, we can avoid doing a fetch from the remote if we have the
commit locally. This substantially improves sync times for fully
specified manifests.
Change-Id: Ide216f28a545e00e0b493ce90ed0019513c61613
Diffstat (limited to 'error.py')
0 files changed, 0 insertions, 0 deletions