Andrew Dunstan <and...@dunslane.net> writes:
> On 10/25/21 10:23, Tom Lane wrote:
>> (Hmmm ... but disk space could
>> become a problem, particularly on older machines with not so much
>> disk. Do we really need to maintain a separate checkout for each
>> branch? It seems like a fresh checkout from the repo would be
>> little more expensive than the current copy-a-checkout process.)
> If you set it up with these settings then the disk space used is minimal:
> git_use_workdirs => 1,
> rm_worktrees => 1,
Maybe we should make those the defaults? AFAICS the current
default setup uses circa 200MB per back branch, even between runs.
I'm not sure what that is buying us.
regards, tom lane
