Re: [PATCH] reset: Better warning message on git reset --mixed <paths>

Jonathan Nieder [off-list ref] writes:

Maybe:

 warning: --mixed with paths is deprecated; use 'git reset -- <paths>' instead

That sounds helpful.

We've been saying this form is deprecated since 1.5.4; a better
alternative may be to make this into an error in the next release,
though.