A question on Fedora Koji infrastructure