On Sun, Nov 25, 2012 at 10:56 PM, Eric S. Raymond <esr@xxxxxxxxxxx> wrote: > Felipe Contreras <felipe.contreras@xxxxxxxxx>: >> And gitk is an integral part of git. But if you have different >> numbers, what are they? > Please don't waste further time on quibbling. We all know that gitk is > an uncomfortable special case and that the project would be far better > off, maintainability-wise, if it were successfully ported to one if these > other languages. Trying to catch me out by triumphantly pointing at gitk > is...juvenile. Another bit of information I just realized, 'man git' lists gitk as a 'Main porcelain command' as high level as any git command can get. -- 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