"Shawn O. Pearce" <spearce@xxxxxxxxxxx> writes: > This series teaches "jgit fetch" how to prune stale tracking branches > that have been removed from the remote repository. We can now do > both a fetch and a prune in a single network connection. I am not sure if that is a good feature. The user at the local side may well be using the (now stale) tracking branch as an achoring point to remember where his own development forked from, and that may be the reason he is fetching but not running "remote prune", not to lose that anchor. -- 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
