diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2018-04-25 13:29:04 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-04-25 13:29:04 +0900 |
| commit | 7a79d7e9fb187f17515053f616d3eca13c9c1585 (patch) | |
| tree | ca574140647f943b6149148be3b889c257f8e71d /ci | |
| parent | Merge branch 'bp/fsmonitor-bufsize-fix' (diff) | |
| parent | fsmonitor: force index write after full scan (diff) | |
| download | tgif-7a79d7e9fb187f17515053f616d3eca13c9c1585.tar.xz | |
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
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions