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!
