Re: [PATCH 1/2] Documentation: Remove deprecated --mixed option in git-reset synopsis
- From
- Pieter de Bie <pdebie@ai.rug.nl>
- Date
- Feb 16, 2008, 19:17 UTC
- Message-ID
- <7732B3AD-BF81-4BDD-9C9C-01A35185AE99@ai.rug.nl>
- In-Reply-To
- <7vir0o90hr.fsf@gitster.siamese.dyndns.org>
On Feb 16, 2008, at 8:15 PM, Junio C Hamano wrote:
> Thanks, but the title should read "redundant, unnecessary", not > "deprecated", I think.
Well, if I run it:
bash-3.2$ git reset --mixed -- NEWS
warning: --mixed option is deprecated with paths.I included deprecated because it says so in the warning
- Pieter