Hi all, This evening, starting at 1800 EST, I plan on bringing down the Docker registry for an upgrade; I expect that the maintenance will take one or two hours. Docker images will be unable to be pushed or pulled for this duration. While the CI runners generally cache images locally, there is a non-negligible chance that some jobs would fail during this period. To mitigate this, I will keep an eye on the runner pool and pause adversely affected runners during the outage. As always, let me know if you have any questions or concerns about the timing of this maintenance. Cheers, - Ben