tree 3bd1754e72887659e52ee03342a4a9098fe9c247
parent 521d3ef38a17917ad10e71a398e82a13fa1178b5
parent 398a3b0899dd8a440d4adbcbda38362e3f8359b1
author Junio C Hamano <gitster@pobox.com> 1558251933 +0900
committer Junio C Hamano <gitster@pobox.com> 1558251933 +0900

Merge branch 'js/fsmonitor-refresh-after-discarding-index'

The fsmonitor interface got out of sync after the in-core index
file gets discarded, which has been corrected.

* js/fsmonitor-refresh-after-discarding-index:
  fsmonitor: force a refresh after the index was discarded
  fsmonitor: demonstrate that it is not refreshed after discard_index()