How to build against an infra tag in koji

If you want a build to be available in the infra repo instead of the fedora official repos.

$ koji build f30-infra bodhi-5.2.0-1.fc30.infra.src.rpm

If you get an permission error, you need to make sure you have the infra permission in koji

$ koji list-permissions --user cverna infra

If you don’t, open an infra ticket to request that permission.