Johannes Schindelin
44f58d64ef
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 >
2018-06-14 13:48:32 +02:00
..
2018-05-30 14:04:05 +09:00
2018-06-01 15:06:38 +09:00
2018-02-08 12:37:30 -08:00
2018-05-30 14:04:09 +09:00
2018-06-01 15:06:38 +09:00
2018-05-30 14:04:07 +09:00
2018-02-12 13:09:35 -08:00
2018-02-09 10:24:50 -08:00
2018-05-30 21:51:29 +09:00
2018-02-09 10:24:50 -08:00
2018-05-30 21:51:26 +09:00
2018-05-13 10:45:05 +09:00
2018-04-11 10:43:02 +09:00
2018-03-14 09:23:49 -07:00
2018-05-30 14:04:07 +09:00
2018-05-30 21:51:27 +09:00
2018-05-02 13:59:49 +09:00
2018-05-30 14:04:05 +09:00
2018-02-14 13:10:05 -08:00
2018-04-11 10:47:16 +09:00
2018-06-01 15:06:38 +09:00
2018-05-30 21:51:26 +09:00
2018-05-08 15:59:16 +09:00
2018-06-01 15:06:38 +09:00
2018-03-14 09:23:50 -07:00
2018-05-30 14:04:10 +09:00
2018-06-14 13:48:32 +02:00
2018-06-01 15:06:38 +09:00
2018-04-11 18:11:00 +09:00
2018-06-01 15:06:37 +09:00
2018-06-13 12:50:46 -07:00
2018-06-01 15:06:40 +09:00
2018-05-24 16:12:29 +09:00
2018-06-01 15:06:38 +09:00
2018-05-23 14:38:15 +09:00
2018-04-26 10:54:27 +09:00
2018-04-11 18:11:00 +09:00
2018-06-01 15:06:38 +09:00
2018-04-12 11:38:56 +09:00
2018-04-26 10:54:27 +09:00
2018-05-30 14:04:05 +09:00
2018-03-14 09:23:48 -07:00
2018-06-01 15:06:38 +09:00
2018-06-01 15:06:38 +09:00
2018-05-02 13:59:50 +09:00
2018-04-12 11:38:56 +09:00
2018-05-02 13:59:49 +09:00
2018-04-26 10:54:27 +09:00
2018-05-30 21:51:26 +09:00
2018-05-18 06:19:44 +09:00
2018-05-10 14:55:40 +09:00
2018-04-26 12:28:43 +09:00
2018-05-30 14:04:10 +09:00
2018-05-23 14:38:13 +09:00
2018-05-30 21:51:26 +09:00
2018-06-14 13:48:32 +02:00
2018-05-23 14:38:17 +09:00
2018-05-02 13:59:52 +09:00
2018-04-10 08:25:45 +09:00
2018-06-01 15:06:39 +09:00
2018-05-30 14:04:05 +09:00
2018-05-18 06:19:44 +09:00
2018-03-15 12:01:08 -07:00
2018-04-10 16:28:20 +09:00
2018-03-14 09:23:48 -07:00
2018-03-14 09:23:48 -07:00
2018-05-30 21:51:26 +09:00
2018-05-23 14:38:16 +09:00
2018-03-14 09:23:50 -07:00
2018-05-29 17:10:05 +09:00
2018-05-30 14:04:07 +09:00
2018-02-09 10:24:50 -08:00
2018-05-08 15:59:16 +09:00
2018-03-14 09:23:50 -07:00
2018-04-09 06:14:45 +09:00
2018-05-23 14:38:18 +09:00
2018-03-14 09:23:47 -07:00