Re: [PATCH v4 0/9] Get rid of "git --super-prefix"

Subject: Re: [PATCH v4 0/9] Get rid of "git --super-prefix"
From: Junio C Hamano <gitster@xxxxxxxxx>
Date: Fri, 16 Dec 2022 07:12:35 +0900
Cc: git@xxxxxxxxxxxxxxx, Glen Choo <chooglen@xxxxxxxxxx>, Taylor Blau <me@xxxxxxxxxxxx>, Robert Coup <robert@xxxxxxxxxxx>
In-reply-to: <cover-v4-0.9-00000000000-20221215T083502Z-avarab@gmail.com> ("Ævar Arnfjörð Bjarmason"'s message of "Thu, 15 Dec 2022 10:32:41 +0100")
References: <cover-v3-0.9-00000000000-20221119T122853Z-avarab@gmail.com> <cover-v4-0.9-00000000000-20221215T083502Z-avarab@gmail.com>
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux)

References:
- [PATCH v3 0/9] Get rid of "git --super-prefix"
  - From: Ævar Arnfjörð Bjarmason
- [PATCH v4 0/9] Get rid of "git --super-prefix"
  - From: Ævar Arnfjörð Bjarmason