diff options
| author | Gabe Black <gabeblack@chromium.org> | 2014-10-09 17:54:35 -0700 |
|---|---|---|
| committer | Mike Frysinger <vapier@google.com> | 2016-09-14 00:19:44 -0400 |
| commit | 2ff302929ca12b309ab35a3f957cd0179f382d74 (patch) | |
| tree | 64d3150bea0efd2989a22f28e750c09614f9e772 /git_config.py | |
| parent | 7a77c16d376f504bd06d017ba10c91e3a6073b08 (diff) | |
| download | git-repo-2ff302929ca12b309ab35a3f957cd0179f382d74.tar.gz | |
When syncing a project with a shared object store, disable automatic pruning.
The shared object stores confuse git and make it throw away objects which are
still in use. We'll avoid that problem by disabling automatic pruning on those
projects, but there's nothing preventing a user from changing the config back
or pruning a repository manually.
BUG=chromium:375945
TEST=Ran repo sync on fresh ChromeOS checkout, starting with a branch of repo
with this change. Verified that the kernel projects and no others were
identified as having shared object stores, and that repo successfully disabled
automatic pruning in their configs. Re-enabled pruning and ran repo sync just
on one of the kernel directories. Verified that pruning was re-disabled as a
result.
Change-Id: I728ed5b06f0087aeb5a23ba8f5410a7cd10af5b0
Diffstat (limited to 'git_config.py')
0 files changed, 0 insertions, 0 deletions