|Re: [jgit-dev] JGit patches|
moving this conversation to the listOn Jan 8, 2018 3:27 PM, Matthias Sohn <matthias.sohn@xxxxxxxxx> wrote:You mentioned that you are using an old JGit version and have a couple of JGit patches you have done in your fork which you didn't yet contribute upstream. I'd be interested to get them so everyone can benefit.So during gc you want to first delete old packed-refs from last repack in preserved/ directory,then repack refs into a new packed-refs file and move the old packed-refs file to the preserved/ directory ?
And this would ensure that another node not doing repack could concurrently still read from the preserved/packed-refs file.
Back to the top