From: Junio C Hamano <gitster@pobox.com>
Date: Sat, 23 Oct 2021 22:34:25 GMT
Subject: Re: [PATCH v2 00/10] Makefile: make generate-cmdlist.sh much faster
Message-ID: <xmqqsfwr8j66.fsf@gitster.g>
In-Reply-To: <cover-v2-00.10-00000000000-20211022T193027Z-avarab@gmail.com>

Ævar Arnfjörð Bjarmason  <avarab@gmail.com> writes:

> Subject: Re: [PATCH v2 00/10] Makefile: make generate-cmdlist.sh much faster

Stale topic as there is no change to the Makefile.

> This version of this series drops the Makefile-powered version of the
> cmdlist in favor of making the shellscript much faster, mostly with
> suggestions from Jeff King.

OK.

I looked at the whole thing and it looked almost done, modulo just a
little breakages here and there whose corrections should be fairly
obvious.

Thanks.