On Thu, 30 Oct 2008, Pierre Habouzit wrote: > On Thu, Oct 30, 2008 at 05:00:18PM +0000, Nicolas Pitre wrote: > > On Thu, 30 Oct 2008, Matthieu Moy wrote: > > > > > I've already argued in favor of allowing "git reset --hard <files>", > > > 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 <file>" ? > > errrrm, git reset <file> resets the index notion of the file to its status > in HEAD... which I'm sure is *somehow* useful to "some" people ;P Too bad... Nicolas -- 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
