New: git hf update --no-prune to disable auto-pruning of dead branches