On Fri, Jul 24, 2009 at 10:24 AM, Thomas Rast<trast@xxxxxxxxxxxxxxx> 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 "--". -- 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