On Sat, Apr 11, 2020 at 6:27 PM Solomon Peachy via rockbox-dev < rockbox-dev@cool.haxx.se> wrote:
> The migration is over, DNS is switched, and I'm already seeing a bunch > of bots and a few legit users. > > Everything appears to be functional. > That's great news! What other steps are still needed to avoid disruption next year?
