From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 16 Oct 2013 21:38:54 GMT
Subject: Re: [PATCH] gc: remove gc.pid file at end of execution
Message-ID: <xmqqeh7k6glt.fsf@gitster.dls.corp.google.com>
In-Reply-To: <20130928003319.GR9464@google.com>

Jonathan Nieder <jrnieder@gmail.com> writes:

> Matthieu Moy wrote:
>
>> This file isn't really harmful, but isn't useful either, and can create
>> minor annoyance for the user:
>
> Would something like the following make sense, to ensure the gc.pid file is
> always removed on normal exit?

Has anything further happened to this discussion?