From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 11 Aug 2016 19:30:17 GMT
Subject: Re: [PATCH v10 33/40] environment: add set_index_file()
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.