On Mon, Jan 23, 2017 at 9:10 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > Giuseppe Bilotta <giuseppe.bilotta@xxxxxxxxx> writes: > >> ... I still don't see how to force a complete reread of the index >> after running a git reset (which I need for the --skip command), ... > > Do you mean discard_index() or discard_cache() followed by > read_index() or read_cache(), or do you mean something more > elaborate? Apparently discard_cache() followed by read_cache() is exactly what I needed. New patchset incoming 8-) -- Giuseppe "Oblomov" Bilotta