[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [jgit-dev] Is prune safe?
|
----- Ursprungligt meddelande -----
> Från: "EungJun Yi" <semtlenori@xxxxxxxxx>
> Till: "Christian Halstrick" <christian.halstrick@xxxxxxxxx>
> Kopia: "JGit Developers list" <jgit-dev@xxxxxxxxxxx>
> Skickat: måndag, 23 sep 2013 19:09:54
> Ämne: 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?
I think the *intention* is that it should be safe, but I don't know if that
holds up in the big world. Time will tel....
-- robin
>
> 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
>
>
>
>
> _______________________________________________
> jgit-dev mailing list
> jgit-dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/jgit-dev
>
