From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 19 May 2019 07:45:33 +0000 (+0900)
Subject: Merge branch 'js/fsmonitor-refresh-after-discarding-index'
X-Git-Tag: v2.22.0-rc1~12
X-Git-Url: https://git.lorimer.id.au/gitweb.git/diff_plain/cfd635c7428dfca5b45d8d45fdc1311e751d4fe2?hp=cfd635c7428dfca5b45d8d45fdc1311e751d4fe2

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()
---