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

On 2/29/24 19:25, Konstantin Ryabitsev wrote:
> 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/

Woot! Thank you very much for getting this live!

If Joseph, Siddhesh and David are happy with the content then I'll promote it more widely.

In particular I want to point Paul Eggert at this to answer his questions.

> 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.

-- 
Cheers,
Carlos.