sinnykumari added a new comment to an issue you are following:
``
To check necessary permissions, I did:
```
$ koji add-pkg coreos-pool rpm-ostree --owner sinnykumari
$ koji tag-build coreos-pool rpm-ostree-2019.3-1.fc30
```
It went fine, but I don't see a coreos-pool dist-repo being created at
https://kojipkgs.fedoraproject.org/repos-dist/ . What are we missing here?
``
To reply, visit the link below or just reply to this email
https://pagure.io/releng/issue/8294