On Thu, 29 Jan 2009, Johannes Schindelin wrote: > we already have a distinction between what is called from scripts vs from > humans: plumbing vs porcelain. So you can set the defaults for porcelain as > much as you want, but please leave plumbing alone. May we consider "git diff" Porcelain and "git diff-{files,index,tree}" plumbing? -- 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