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

On Wed, Feb 28, 2024 at 06:19:42PM -0500, Carlos O'Donell wrote:
> > I will enable that in the next few days. However, I thought the site was
> > cti.coretoolchain.dev, not toplevel?
> 
> Let me check the CTI TAC notes...
> ~~~
>  * Consensus is around "coretoolchain.dev" for "cti.coretoolchain.dev" documentation.
> ~~~
> You are correct, "cti.coretoolchain.dev" was the final decision.

This site is now available:

https://cti.coretoolchain.dev/

It's not auto-building yet, but it's a small thing to enable tomorrow. There
are a few small tweaks to be done, too, like redirecting 80 to 443, but I ran
out of daylight today.

-K