diff options
author | LaMont Jones <lamontjones@google.com> | 2022-11-02 22:01:29 +0000 |
---|---|---|
committer | LaMont Jones <lamontjones@google.com> | 2022-11-03 23:01:16 +0000 |
commit | fa8d939c8f6a3d25d9a203f28b16a71d891dcc1c (patch) | |
tree | 1d3519d54c1ef256b0acaa19a0d601897a318411 /git_config.py | |
parent | a6c52f566acfbff5b0f37158c0d33adf05d250e5 (diff) | |
download | git-repo-fa8d939c8f6a3d25d9a203f28b16a71d891dcc1c.tar.gz |
sync: clear preciousObjects when set in error.
If this is a project that is not using object sharing (there is only one
copy of the remote project) then clear preciousObjects.
To override this for a project, run:
git config --replace-all repo.preservePreciousObjects true
Change-Id: If3ea061c631c5ecd44ead84f68576012e2c7405c
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/350235
Reviewed-by: Jonathan Nieder <jrn@google.com>
Tested-by: LaMont Jones <lamontjones@google.com>
Diffstat (limited to 'git_config.py')
-rw-r--r-- | git_config.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git_config.py b/git_config.py index 98cade32..94378e9a 100644 --- a/git_config.py +++ b/git_config.py | |||
@@ -219,8 +219,8 @@ class GitConfig(object): | |||
219 | """Set the value(s) for a key. | 219 | """Set the value(s) for a key. |
220 | Only this configuration file is modified. | 220 | Only this configuration file is modified. |
221 | 221 | ||
222 | The supplied value should be either a string, | 222 | The supplied value should be either a string, or a list of strings (to |
223 | or a list of strings (to store multiple values). | 223 | store multiple values), or None (to delete the key). |
224 | """ | 224 | """ |
225 | key = _key(name) | 225 | key = _key(name) |
226 | 226 | ||