Re: Git reset --hard with staged changes

> On May 24, 2016, at 2:20 AM, Christian Couder > wrote: > > On Mon, May 23, 2016 at 11:16 PM, Junio C Hamano wrote: >> >> >> I am not sure if that is a good addition, though. > > I am not sure either, but at least if something like that is added, > people may complain less. The present doc

Re: Git reset --hard with staged changes

Pierre-François CLEMENT gmail.com> writes: > 2014-06-10 17:27 GMT+02:00 David Kastrup gnu.org>: >> Pierre-François CLEMENT gmail.com> writes: >> >>> ... >>> >>> Hm I see. Even though the documentation doesn't make it very clear >>> about what happens to such files, it turns out the scenario we >