On Mon, Jan 23, 2017 at 9:10 PM, Junio C Hamano <gits...@pobox.com> wrote: > Giuseppe Bilotta <giuseppe.bilo...@gmail.com> 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