diff options
author | Eric Wong <e@80x24.org> | 2023-11-28 14:56:17 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2023-11-29 02:13:19 +0000 |
commit | a1ff0b13f09e2a959de692e3f29ab52502a76abd (patch) | |
tree | fbfc15fc9a121e15f5906efdb803119b3dd1d102 /Makefile.PL | |
parent | f1e472e1851b708750c7ac0927792fb38e22b8e9 (diff) | |
download | public-inbox-a1ff0b13f09e2a959de692e3f29ab52502a76abd.tar.gz |
solver: schedule cleanup after synchronous git->check
We don't want hundreds of git cat-file processes for coderepos lingering around.
Diffstat (limited to 'Makefile.PL')
0 files changed, 0 insertions, 0 deletions