Re: [PATCH v10 33/40] environment: add set_index_file()
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Aug 11, 2016, 19:30 UTC
- Message-ID
- <xmqqeg5v14ty.fsf@gitster.mtv.corp.google.com>
- In-Reply-To
- <CAP8UFD3-0=O7uLXG=KL8OVueFPCpN5y-JmtcncVyrd8GoRh--g@mail.gmail.com>
Christian Couder <christian.couder@gmail.com> writes:
> Yeah, it is feasible and perhaps even simpler using > hold_lock_file_for_update() than with set_index_file(), so I > dropped the set_index_file() patch and added a new one that uses > hold_lock_file_for_update().
I wasn't paying too close an attention while reading the changes, but anyway that is a great news.
Thanks.