]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd92c1a) | patch
GC: prune all packfiles after the loosen phase 10/202510/2
authorLuca Milanesio <luca.milanesio@gmail.com>
Sun, 11 Jun 2023 16:24:29 +0000 (17:24 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 5 Jul 2023 13:28:16 +0000 (15:28 +0200)
commitac8d7838f0ca332f7143be25ac511831f2705961
tree08335cdc54b8149574df698864b4491aedd04a4atree | snapshot
parentdd92c1aa98c25bb1a2c2cbb0a056e6e34c64b385commit | diff
GC: prune all packfiles after the loosen phase

When loosening the objects inside the packfiles to be pruned, make sure
that the packfile list is stable and prune all the files after the
loosening is done.

This prevents a series of exceptions previously thrown when loosening
the packfiles, due to the too early pruning of the packfiles that were
still in the pack list.

Bug: 581532
Change-Id: I776776e2e083f1fa749d53f965bf50f919823b4f
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/GC.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit