Re: [PATCH v12 00/20] index-helper/watchman

2016-06-25 Thread David Turner
On 06/25/2016 09:28 AM, Duy Nguyen wrote: On Thu, May 19, 2016 at 11:45 PM, David Turner wrote: Of course, as soon as I pinged on the previous version, I noticed an issue. ... A bit off-topic, but you may want to cut a release for libwatchman (even 0.1.0 would do) so it can be properly packag

Re: [PATCH v12 00/20] index-helper/watchman

2016-06-25 Thread Duy Nguyen
On Sat, Jun 25, 2016 at 3:28 PM, Duy Nguyen wrote: > On Thu, May 19, 2016 at 11:45 PM, David Turner > wrote: >> Of course, as soon as I pinged on the previous version, I noticed an issue. >> ... > > A bit off-topic, but you may want to cut a release for libwatchman > (even 0.1.0 would do) so it

Re: [PATCH v12 00/20] index-helper/watchman

2016-06-25 Thread Duy Nguyen
On Thu, May 19, 2016 at 11:45 PM, David Turner wrote: > Of course, as soon as I pinged on the previous version, I noticed an issue. > ... A bit off-topic, but you may want to cut a release for libwatchman (even 0.1.0 would do) so it can be properly packaged. -- Duy -- To unsubscribe from this li

[PATCH v12 00/20] index-helper/watchman

2016-05-19 Thread David Turner
Of course, as soon as I pinged on the previous version, I noticed an issue. In that version, git index-helper --exit-after 0 was documented to never exit, but it would in fact exit immediately. This changes patch 04/20. In addition, I noticed that there was no way to control the timeout on autom