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 _______________________________________________ infrastructure mailing list -- infrastructure@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to infrastructure-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/infrastructure@xxxxxxxxxxxxxxxxxxxxxxx
