* Matthew Miller:
On Tue, Feb 02, 2021 at 07:16:24PM +0100, Florian Weimer wrote:
> Do you have to build RPMs before you can publish something, or is it all
> automated once the PR is approved and merged?
No RPMs. (We stopped trying to do that several years ago.)
Great, then I suggest to move to this infrastructure if possible. 8-)
Thanks,
Florian
--
Red Hat GmbH,
https://de.redhat.com/ , Registered seat: Grasbrunn,
Commercial register: Amtsgericht Muenchen, HRB 153243,
Managing Directors: Charles Cachera, Brian Klemm, Laurie Krebs, Michael O'Neill