On Wed, 04 Oct 2017, Jaromil wrote:

> we redirect the domain to pkgmaster ?

sorry, I just realised how stupid this would be, since the new repo
key needs to be provided by packages with the old key for a smooth
transition.

I recommend we leave packages running for at least a year, I guess
there should be no problem with that.