diff options
Diffstat (limited to 'subcmds')
| -rw-r--r-- | subcmds/sync.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index 49867a97..eada76a7 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
| @@ -576,8 +576,7 @@ later is required to fix a server side protocol bug. | |||
| 576 | print('%s: Shared project %s found, disabling pruning.' % | 576 | print('%s: Shared project %s found, disabling pruning.' % |
| 577 | (project.relpath, project.name)) | 577 | (project.relpath, project.name)) |
| 578 | if git_require((2, 7, 0)): | 578 | if git_require((2, 7, 0)): |
| 579 | project.config.SetString('core.repositoryFormatVersion', '1') | 579 | project.EnableRepositoryExtension('preciousObjects') |
| 580 | project.config.SetString('extensions.preciousObjects', 'true') | ||
| 581 | else: | 580 | else: |
| 582 | # This isn't perfect, but it's the best we can do with old git. | 581 | # This isn't perfect, but it's the best we can do with old git. |
| 583 | print('%s: WARNING: shared projects are unreliable when using old ' | 582 | print('%s: WARNING: shared projects are unreliable when using old ' |