Lars Hjemli (2): git remote: split part of prune() into prune_one() git remote: prune all remotes with `prune -a` Documentation/git-remote.txt | 4 +- builtin-remote.c | 97 ++++++++++++++++++++++++++++------------- 2 files changed, 69 insertions(+), 32 deletions(-) -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html