Re: GitGitGadget on git/git, was Re: Should we auto-close PRs on git/git?

> 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