mirrors/jgit - jgit - source @ dussan.org

Historique

Christian Halstrick 74743bc547 Add config parameter gc.prunePackExpire for packfile expiration JGit's Garbage Collector is repacking relevant objects into new packfiles and is afterwards deleting the now obsolete packfiles. But to prevent problems caused by race conditions JGit was not deleting packfiles when they are too young. The same mechanism as for loose objects and the config parameter gc.pruneExpire was used. But JGit was reusing the parameter gc.pruneExpire also for packfiles which may cause a lot of filesystem consumption if gc.pruneExpire was set to the default of 2 weeks. Only two weeks after packfile creation gc was allowed to delete this packfile. This change introduces a new config paramter gc.prunePackExpire with a default of "1.hour". This parameter is used when packfiles are deleted. Only packfiles older than the specified time can be deleted. For loose objects the behaviour is not changed and only the old parameter gc.pruneExpire is relevant. Change-Id: I6209efb05678b15153bd22479dc13486907a44f8		il y a 8 ans
..
dfs	Fix imports in DfsInserterTest	il y a 8 ans
file	Add config parameter gc.prunePackExpire for packfile expiration	il y a 8 ans
pack	Add config parameter gc.prunePackExpire for packfile expiration	il y a 8 ans
reftree	RefTreeDatabase: Allow ORIG_HEAD, etc. on non-bare repositories	il y a 8 ans