[Pki-devel] IMPORTANT: Relocation of fedorahosted.org source code repositories to github . . .