On Sun, Oct 20, 2019 at 1:25 AM Joshua Kinard <ku...@gentoo.org> wrote: > In any event, I still think using devspace is a bad idea. A centralized > distfiles repo is what most other distros use, and it's what we should use.
I agree, but let's discuss that in a separate topic.
