Felipe Contreras <felipe.contreras@xxxxxxxxx> writes: > If the goal of the change is to make things more user-friendly, then > I'd say "git diff HEAD @stage" is better than "git diff > --tree-vs-staged HEAD". Exactly. That is where we disagree. The funny "@stage" does not convey the fact that it is affecting how "git diff" operates, like any other option like "-R" does in "git diff -R" command line does. Now the user needs to know git commands take -option like other normal tools do, but in addition they need to remember that an oddball "diff" subcommand takes "@funny" in addition to the usual "-option". How would that be an improvement? -- 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