On Wed, Feb 22, 2012 at 10:43 PM, Felipe Contreras <felipe.contreras@xxxxxxxxx> wrote: > On Sat, Feb 18, 2012 at 12:34 AM, Junio C Hamano <gitster@xxxxxxxxx> wrote: >> Does it make sense to specify --prune when --mirror is in effect? If so, >> how would it behave differently from a vanilla --mirror? If not, should >> it be detected as an error? > > Probably doesn't make sense, should be an error. Actually, after writing the patch for the documentation I realized this would be difficult to describe: you can use --all --prune, but not --mirror --prune, and the documentation currently has '[--all | --mirror | --tags]'. So I decided to make it orthogonal, you can use --prune with --all, --tags, *and* --mirror. Of course, using --prune --mirror is the same as --mirror. Cheers. -- Felipe Contreras -- 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