From: Elijah Newren <newren@gmail.com>
Date: Fri, 24 Jul 2009 18:02:49 GMT
Subject: Re: [RFC PATCH v2 2/3] Introduce git-discard
Message-ID: <51419b2c0907241102s31c2fbaeof81e2fb053465c89@mail.gmail.com>
In-Reply-To: <cf51e6aa92ea98fc9409826cc0468a01fdf7b01e.1248452530.git.trast@student.ethz.ch>

On Fri, Jul 24, 2009 at 10:24 AM, Thomas Rast<trast@student.ethz.ch> wrote:
> The new command 'git discard' is precisely the same as 'git checkout --'.
> +(This is the same as `git checkout \-- <paths>`.)

Actually, there's an important difference:

> +       exec git checkout "$@"

$ git branch foo HEAD~20
$ touch foo && git add foo
$ echo hi >> foo
$ git discard foo
A     foo
Switched to branch "foo"

You really do need that "--".