git.py(git_cmd): always pass "-c" "fetch.prune=false" to git #643
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Problem: Anod sometimes breaks because users set fetch.prune=true in
their .gitconfig, which causes Git to remove references that are
actually required by Anod during
git fetch
es.Reproducer: Add the below snippet of code to your .gitconfig and run
anod update
twice.Solution: Make every git command run with
-c fetch.prune=false
. Thisensures that every git command will behave in an unsurprising way
with regards to reference pruning on fetch. When pruning references on
fetch is actually required, users of the
git_cmd
command will beable to add
--prune
to theirfetch
subcommand.