On Thu, Nov 5, 2009 at 3:05 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > The necessary change to "git fetch" shouldn't be too hard to code, as we > are already doing this in mirror mode. Actually, mirror mode applies to push only. Unless I'm missing something obvious. Thus, adding prune to builtin-fetch duplicates the logic from builtin-remote, unless I do some refactoring. Hmph, I was hoping for a 15 minute patch. :-( j. -- 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