On Thu, 2020-04-09 at 14:47 +0200, Tomas Tomecek wrote:
Jeremy, have you also considered storing everything in a single
repository? Instead of having two.
We actually are. I assume you're asking about why we're not using
packit. We're not on GitHub so the service isn't (as far as I can tell)
useful to us. There's huge piles of existing bash scripts and makefiles
that achieve about what I think packit-the-cli would give us so it
would be some amount of work with no obvious benefit to move at the
moment. Generally speaking, though, I'm not against the idea.
- Jeremy