From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 01 Mar 2017 21:34:06 GMT
Subject: Re: [PATCH v4 15/22] read-cache: touch shared index files when used
Message-ID: <xmqqinnsfzqp.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <20170227180019.18666-16-chriscool@tuxfamily.org>

Christian Couder <christian.couder@gmail.com> writes:

> +/*
> + * Signal that the shared index is used by updating its mtime.
> + *
> + * This way, shared index can be removed if they have not been used
> + * for some time.
> + */
> +static void freshen_shared_index(char *base_sha1_hex, int warn)
> +{
> +	const char *shared_index = git_path("sharedindex.%s", base_sha1_hex);
> +	if (!check_and_freshen_file(shared_index, 1) && warn)
> +		warning("Could not freshen shared index '%s'", shared_index);

I'll downcase "Could" to match existing convention (no need to
resend only to update this one).