diff options
author | Christian Couder <christian.couder@gmail.com> | 2023-10-02 19:55:04 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-10-03 00:54:31 +0300 |
commit | 9b96046b9239589756cde8fbcbafe05ac7ec4611 (patch) | |
tree | ab6a3b6b9656c5f63d2b899a2f6bef1dacc171a0 /Makefile | |
parent | 71c5aec1f54eba5a2856f72d85823af64e5deb34 (diff) |
gc: add `gc.repackFilterTo` config option
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 <chriscool@tuxfamily.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions