Hi, On Wed, 12 Mar 2008, Brandon Casey wrote: > I think git-prune is seldomly used by normal users for the reasons Dscho > described, and I think once the behavior implemented by his patch > becomes standard it will never be used by normal users (except the ones > who always use --prune for the reasons Geert Bosch described, and > they'll probably want the new behavior). So I think git-prune will sink > a little lower into plumbing and common users won't need to know > anything about pruning, and only sophisticated users will need to know > git-prune. But because we are nice people, we will deprecate --prune before we remove it, should we go that route at all. Ciao, Dscho -- 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
