Jonathan Nieder <jrnie...@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?
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html