projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: beed7e2 ca598d5)
Merge branch 'bp/fsmonitor-prime-index'
authorJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:29:04 +0000 (13:29 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:29:04 +0000 (13:29 +0900)
commit7a79d7e9fb187f17515053f616d3eca13c9c1585
treeca574140647f943b6149148be3b889c257f8e71dtree | snapshot
parentbeed7e22fdc81ba325c4bfaadf84d23f5c697d93commit | diff
parentca598d5f2ab988935a5b882b44122cbfa5fd99f5commit | diff
Merge branch 'bp/fsmonitor-prime-index'

The index file is updated to record the fsmonitor section after a
full scan was made, to avoid wasting the effort that has already
spent.

* bp/fsmonitor-prime-index:
  fsmonitor: force index write after full scan
fsmonitor.c diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.