Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jgit-dev] Is prune safe?

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.


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.

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


jgit-dev mailing list

Back to the top