On Fri, Jun 15, 2018 at 12:58:40PM -0700, Junio C Hamano wrote: > Do we want to verify the state after the 'hard' reset succeeds as > well? Things like > > - all paths in the HEAD and all paths in the index are identical; > > - paths that do exist in the working tree are all identical to HEAD > version; and > > - paths that do not exist in the working tree are missing due to > the sparse checkout setting (iow, it is a bug if a path that is > outside the "sparse" setting is missing from the working tree).
I implemented the additional check, it is a bit different literally, but should be equivalent for this case
