Re: [jgit-dev] Is prune safe?

["Yi, EungJun" <semtlenori@xxxxxxxxx>]

Yes, I have a specific problem. Is it safe to run jgit GC for a repository while someone is pushing to the repository?

On Mon, Sep 23, 2013 at 10:51 PM, Christian Halstrick <christian.halstrick@xxxxxxxxx> wrote:

do you have a specific problem in mind. It's hard to tell whether jgit GC.prune is safe in all situations of concurrent access, but I can check the code if you already have a certain problem in mind.

Ciao
  Chris

On Mon, Sep 23, 2013 at 4:13 AM, Yi, EungJun <semtlenori@xxxxxxxxx> wrote:

According to a recent patch to Git, git-prune seems to be safe in case of concurrent access to a repository.

http://www.spinics.net/lists/git/msg215937.html

Is JGit's GC.prune also safe in such that case?

Thanks,

EungJun

_______________________________________________
jgit-dev mailing list
jgit-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/jgit-dev