Re: Next steps to turn on https://coretoolchain.dev?

On Wed, Mar 06, 2024 at 03:33:59PM -0500, Carlos O'Donell wrote:
> I can confirm that the updates do go live almost immediately as the remote side reubilds the
> HTML. Thank you for that! It means the edits I'm making should be visible to readers.

Right, I forgot to follow up about that. It's built on replication to a
different user (because we don't want to invoke a build script as the same
user who has access to all the backend repositories), so there is up to 30
seconds delay between push and when the site is rebuilt.

-K