Re: What's cooking in git.git (Jul 2016, #05; Wed, 13)

> * dt/index-helper (2016-07-06) 21 commits
>  - index-helper: indexhelper.exitAfter config
>  - trace: measure where the time is spent in the index-heavy operations
>  - index-helper: optionally automatically run
>  - index-helper: autorun mode
>  - index-helper: don't run if already running
>  - index-helper: kill mode
>  - watchman: add a config option to enable the extension
>  - unpack-trees: preserve index extensions
>  - update-index: enable/disable watchman support
>  - index-helper: use watchman to avoid refreshing index with lstat()
>  - watchman: support watchman to reduce index refresh cost
>  - read-cache: add watchman 'WAMA' extension
>  - index-helper: log warnings
>  - index-helper: add --detach
>  - daemonize(): set a flag before exiting the main process
>  - index-helper: add --strict
>  - index-helper: new daemon for caching index and related stuff
>  - unix-socket.c: add stub implementation when unix sockets are not supported
>  - pkt-line: add gentle version of packet_write
>  - read-cache: allow to keep mmap'd memory after reading
>  - read-cache.c: fix constness of verify_hdr()
> 
>  A new "index-helper" daemon has been introduced to give newly
>  spawned Git process a quicker access to the data in the index, and
>  optionally interface with the watchman daemon to further reduce the
>  refresh cost.
> 
>  Will merge to 'next'.
> 
>  Is everybody happy with this version?
>  At v14.