git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 521d3ef 398a3b0)
Merge branch 'js/fsmonitor-refresh-after-discarding-index'
authorJunio C Hamano <redacted>
Sun, 19 May 2019 07:45:33 +0000 (16:45 +0900)
committerJunio C Hamano <redacted>
Sun, 19 May 2019 07:45:33 +0000 (16:45 +0900)
commitcfd635c7428dfca5b45d8d45fdc1311e751d4fe2
tree3bd1754e72887659e52ee03342a4a9098fe9c247tree | snapshot
parent521d3ef38a17917ad10e71a398e82a13fa1178b5commit | diff
parent398a3b0899dd8a440d4adbcbda38362e3f8359b1commit | diff
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()
cache.h diff1 | diff2 | blob | history
read-cache.c diff1 | diff2 | blob | history
git clone https://git.99rst.org/PROJECT