Re: [PATCH 1/2] Documentation: Remove deprecated --mixed option in git-reset synopsis
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 16, 2008, 20:10 UTC
- Message-ID
- <7vr6fc7jde.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <7732B3AD-BF81-4BDD-9C9C-01A35185AE99@ai.rug.nl>
Pieter de Bie <pdebie@ai.rug.nl> writes:
> Well, if I run it: > > bash-3.2$ git reset --mixed -- NEWS > warning: --mixed option is deprecated with paths.
Yeah, you are right.
The patch is on 'maint' (but it will be quite a while before I can push it out).
Thanks.