Subject: Re: [PATCH 9/9] gc: add `gc.repackFilterTo` config option

From: Junio C Hamano <[email-masked]>
Date: Thu, 15 Jun 2023 19:54:31 -0700

Christian Couder <[email-masked]> writes:

> A previous commit implemented the `gc.repackFilter` config option
> to specify a filter that should be used by `git gc` when
> performing repacks.
>
> Another previous commit has implemented
> `git repack --filter-to=<dir>` to specify the location of the
> packfile containing filtered out objects when using a filter.
>
> Let's implement the `gc.repackFilterTo` config option to specify
> that location in the config when `gc.repackFilter` is used.
>
> Now when `git gc` will perform a repack with a <dir> configured
> through this option and not empty, the repack process will be
> passed a corresponding `--filter-to=<dir>` argument.
>
> Signed-off-by: Christian Couder <[email-masked]>
> ---

That's an obvious follow-up on the previous step.

Thanks.