On Mon, Apr 20, 2020 at 11:11:39AM +0200, Pavel Zhukov wrote:
Hi,
I've changed my FAS ssh key and it's not updated for a few hours
(fedorapeople and pkgs both have an old one). Should I report the
issue somewhere?
Yes, you should report it to infrastructure:
https://pagure.io/fedora-infrastructure/issues/
But it should be fixed now. I've changed things so
pkgs/src.fedoraproject.org and
fedorapeople.org update ssh keys every
15min now.
kevin
PS: I'm subscribed to the list, there's no need to cc me on posts. :)
kevin
--
Thank you
On Sun, Mar 29, 2020 at 8:35 PM Kevin Fenzi <kevin(a)scrye.com> wrote:
>
> On Sun, Mar 29, 2020 at 12:32:33PM -0500, Richard Shaw wrote:
> > Long story short I lost my home directory where I do all of my packager
> > activities (separate from my main user) so I'm setting things up from
> > scratch.
> >
> > I created new ssh keys and uploaded the public key to
> >
admin.fedoraproject.org and pasted into pagure.io. It's been over an hour
> > and I'm still getting:
>
> Yeah, please try again now.
>
> Currently the sync time is really long due to various reasons.
> I'll try and impove this next week...
>
> In the mean time I have done a manual sync.
>
> kevin
> _______________________________________________
> devel mailing list -- devel(a)lists.fedoraproject.org
> To unsubscribe send an email to devel-leave(a)lists.fedoraproject.org
> Fedora Code of Conduct:
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
> List Guidelines:
https://fedoraproject.org/wiki/Mailing_list_guidelines
> List Archives:
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
--
Pavel Zhukov
Software Engineer
IRC: landgraf