Skip to main content

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

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?

Thanks,
EungJun

Back to the top