From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 26 Nov 2019 22:22:46 GMT
Subject: Re: GitGitGadget on git/git, was Re: Should we auto-close PRs on git/git?
Message-ID: <nycvar.QRO.7.76.6.1911262322130.31080@tvgsbejvaqbjf.bet>
In-Reply-To: <20191126215648.GA18872@dcvr>

Hi Eric,

On Tue, 26 Nov 2019, Eric Wong wrote:

> Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
> > 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