From: Nicolas Pitre Date: Thu, 30 Oct 2008 17:00:18 GMT Subject: Re: [PATCH] Documentation: add a planning document for the next CLI revamp Message-ID: In-Reply-To: On Thu, 30 Oct 2008, Matthieu Moy wrote: > I've already argued in favor of allowing "git reset --hard ", > which is consistant with existing terminology and doesn't add an extra > command, but without success. If you have a file argument, the --hard option is redundant, isn't it? So what about simply "git reset " ? Nicolas