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

On 2/28/24 10:23, Konstantin Ryabitsev wrote:
> On Wed, Feb 28, 2024 at 08:26:42AM -0500, Carlos O'Donell wrote:
>> Konstantin,
>>
>> I pushed an early sphinx-quickstart to gitolite.coretoolchain.dev.
>>
>> I've got a lot of the next pass of content ready.
>>
>> How do we turn on https://coretoolchain.dev?
> 
> 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.

Thank you!

-- 
Cheers,
Carlos.