Johannes Schindelin
c866c3892d
gc/repack: release packs when needed
...
On Windows, files cannot be removed nor renamed if there are still
handles held by a process. To remedy that, we introduced the
close_all_packs() function.
Earlier, we made sure that the packs are released just before `git gc`
is spawned, in case that gc wants to remove no-longer needed packs.
But this developer forgot that gc itself also needs to let go of packs,
e.g. when consolidating all packs via the --aggressive option.
Likewise, `git repack -d` wants to delete obsolete packs and therefore
needs to close all pack handles, too.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de >
2019-02-14 09:40:37 +01:00
..
2019-02-06 22:05:23 -08:00
2019-02-06 22:05:23 -08:00
2019-01-02 13:05:30 -08:00
2019-02-11 12:58:06 -08:00
2019-02-06 22:05:24 -08:00
2018-11-21 22:58:06 +09:00
2019-01-24 12:35:44 -08:00
2019-02-06 22:05:27 -08:00
2019-01-24 11:55:06 -08:00
2019-01-24 11:55:06 -08:00
2019-02-06 22:05:23 -08:00
2019-02-08 20:44:51 -08:00
2019-01-24 11:55:06 -08:00
2019-02-06 22:05:23 -08:00
2019-01-22 11:33:46 -08:00
2019-01-22 11:08:35 -08:00
2019-02-06 22:05:23 -08:00
2019-01-29 12:47:54 -08:00
2019-02-06 22:05:29 -08:00
2019-01-24 11:55:06 -08:00
2019-01-24 11:55:06 -08:00
2019-01-24 11:55:06 -08:00
2019-02-06 22:05:28 -08:00
2019-02-06 22:05:23 -08:00
2019-01-04 13:33:33 -08:00
2019-02-05 14:26:11 -08:00
2019-02-11 12:58:06 -08:00
2019-02-06 22:05:23 -08:00
2019-01-18 13:49:57 -08:00
2019-02-06 22:05:23 -08:00
2019-01-24 11:55:06 -08:00
2019-01-08 09:41:06 -08:00
2019-01-29 12:47:54 -08:00
2019-02-06 22:05:23 -08:00
2019-02-06 22:05:23 -08:00
2019-01-14 15:29:28 -08:00
2019-01-24 11:55:06 -08:00
2019-01-24 11:55:06 -08:00
2019-02-06 22:05:23 -08:00
2019-02-06 22:05:23 -08:00
2019-01-24 11:55:06 -08:00
2019-01-24 11:55:06 -08:00
2019-01-15 15:38:29 -08:00
2019-02-06 22:05:28 -08:00
2019-02-04 09:57:10 -08:00
2019-01-14 15:29:31 -08:00
2019-01-24 11:55:06 -08:00
2019-01-18 13:49:52 -08:00
2019-01-24 11:55:06 -08:00
2019-02-06 22:05:23 -08:00
2019-02-11 12:58:06 -08:00
2019-01-02 13:05:30 -08:00
2019-02-06 22:05:27 -08:00
2019-02-14 09:40:37 +01:00
2019-01-24 11:55:06 -08:00
2019-01-15 15:38:29 -08:00
2019-01-24 11:55:06 -08:00
2019-02-06 22:05:25 -08:00
2019-01-24 11:55:06 -08:00
2019-01-04 13:33:33 -08:00
2019-01-24 11:55:06 -08:00
2019-01-02 13:05:30 -08:00
2018-12-15 12:24:33 +09:00
2019-01-08 09:41:06 -08:00
2018-12-26 15:41:47 -08:00
2019-02-06 22:05:23 -08:00
2019-01-24 11:55:06 -08:00
2019-01-07 09:26:33 -08:00
2019-01-24 11:55:06 -08:00