Re: A registry for distributed sources and binaries

[Pjotr Prins]

On Tue, Jul 26, 2016 at 05:40:49AM +0200, Pjotr Prins wrote:
> On Mon, Jul 25, 2016 at 11:21:43AM +0200, Ludovic Courtès wrote:
> > I like the idea!  (With the caveat that, again, external repos can break
> > anytime.)
> >
> > Partly related to that:
> > <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22629>.

And I think we can use a much smaller git package for this. No need to
include the kitchen sink!