Re: GitGitGadget on git/git, was Re: Should we auto-close PRs on git/git?
From: Johannes Schindelin <hidden>
Date: 2019-11-26 22:23:13
From: Johannes Schindelin <hidden>
Date: 2019-11-26 22:23:13
Hi Eric, On Tue, 26 Nov 2019, Eric Wong wrote:
Johannes Schindelin [off-list ref] wrote:quoted
The biggest obstacle is that at least one of those Pipelines requires access to a clone of public-inbox.org/git, and cloning that is rather expensive. Even a shallow fetch would be super expensive, by virtue of _all_ the mails being blobs reachable from the tip commit's tree.Fwiw, lore.kernel.org/git/$EPOCH.git ought to be somewhat cheaper, but it's a different (more scalable) format which requires SQLite: https://public-inbox.org/public-inbox-v2-format.html
Is this incremental? GitGitGadget needs this to be incremental ;-) Ciao, Dscho