Re: [PATCH 0/4] gc docs: modernize and fix the documentation

2019-07-31 Thread Ævar Arnfjörð Bjarmason
On Wed, Jul 31 2019, Jeff King wrote: > On Fri, May 10, 2019 at 01:20:55AM +0200, Ævar Arnfjörð Bjarmason wrote: > >> > Michael Haggerty and I have (off-list) discussed variations on that, but >> > it opens up a lot of new issues. Moving something into quarantine isn't >> > atomic. So you've st

Re: [PATCH 0/4] gc docs: modernize and fix the documentation

2019-07-30 Thread Jeff King
On Fri, May 10, 2019 at 01:20:55AM +0200, Ævar Arnfjörð Bjarmason wrote: > > Michael Haggerty and I have (off-list) discussed variations on that, but > > it opens up a lot of new issues. Moving something into quarantine isn't > > atomic. So you've still corrupted the repo, but now it's recoverabl

Re: [PATCH 0/4] gc docs: modernize and fix the documentation

2019-05-09 Thread Ævar Arnfjörð Bjarmason
On Tue, May 07 2019, Jeff King wrote: > On Mon, May 06, 2019 at 11:44:06AM +0200, Ævar Arnfjörð Bjarmason wrote: > >> Maybe there's some case I haven't thought of that makes this stupid, but >> I wonder if something like a "gc quarantine" might be a fix fo both of >> the the issues you noted abo

Re: [PATCH 0/4] gc docs: modernize and fix the documentation

2019-05-07 Thread Jeff King
On Mon, May 06, 2019 at 11:44:06AM +0200, Ævar Arnfjörð Bjarmason wrote: > Maybe there's some case I haven't thought of that makes this stupid, but > I wonder if something like a "gc quarantine" might be a fix fo both of > the the issues you noted above. > > I.e. it seems to me that the main issu

Re: [PATCH 0/4] gc docs: modernize and fix the documentation

2019-05-06 Thread Ævar Arnfjörð Bjarmason
On Tue, Mar 19 2019, Jeff King wrote: > On Mon, Mar 18, 2019 at 11:45:39PM +0100, Ævar Arnfjörð Bjarmason wrote: > >> > I don't think the quarantine stuff should impact contention at all. It's >> > only quarantining the objects, which are the least contentious part of >> > Git (because object co

Re: [PATCH 0/4] gc docs: modernize and fix the documentation

2019-03-18 Thread Jeff King
On Mon, Mar 18, 2019 at 11:45:39PM +0100, Ævar Arnfjörð Bjarmason wrote: > > I don't think the quarantine stuff should impact contention at all. It's > > only quarantining the objects, which are the least contentious part of > > Git (because object content is idempotent, so we don't do any locking

Re: [PATCH 0/4] gc docs: modernize and fix the documentation

2019-03-18 Thread Ævar Arnfjörð Bjarmason
On Mon, Mar 18 2019, Jeff King wrote: > On Mon, Mar 18, 2019 at 05:14:58PM +0100, Ævar Arnfjörð Bjarmason wrote: > >> This series is unrelated (and does not conflict with) my in-flight gc >> contention series >> (https://public-inbox.org/git/20190315155959.12390-1-ava...@gmail.com/), >> but the

Re: [PATCH 0/4] gc docs: modernize and fix the documentation

2019-03-18 Thread Jeff King
On Mon, Mar 18, 2019 at 05:14:58PM +0100, Ævar Arnfjörð Bjarmason wrote: > This series is unrelated (and does not conflict with) my in-flight gc > contention series > (https://public-inbox.org/git/20190315155959.12390-1-ava...@gmail.com/), > but the "git-gc" docs should be updated to discuss the >

[PATCH 0/4] gc docs: modernize and fix the documentation

2019-03-18 Thread Ævar Arnfjörð Bjarmason
I've been annoyed by the "gc" docs for a while. This fixes most of the issues I've noticed, and also removes the duplication between the "gc" variables in git-config(1) and in git-gc(1), which was made possible by Duy's Documentation/config/* series. This should make the "gc" docs more awesome, an