On 26 Sep 2018, at 11:06, Jakub Hrozek <jhrozek(a)redhat.com>
wrote:
There are some issues, like github mirroring broken at the moment
(
https://pagure.io/pagure/issue/3700
btw I’m trying to set up mirroring directly from the pagure instance, which is the new
approved way. Previously, the mirror was set up by someone from the Fedora infra team. But
so far the pagure instance did not generate a SSH key that it would push as..in the
meantime, I’m mirroring the repo manually :-/