run.dlang.org does not work

[jmh530]

On Tuesday, 15 November 2022 at 15:56:41 UTC, Petar Kirov 
[ZombineDev] wrote:
> On Tuesday, 15 November 2022 at 14:00:58 UTC, bauss wrote:
>> Seems to be a certificate error.
>>
>> Can somebody fix that please? :)
>>
>> I use it kind of a lot to test and prototype small things on 
>> the go.
>
> https://run.dlang.io has always been the official one URL. My 
> guess it that people have mistyped / misremembered run.dlang.io 
> -> run.dlang.org and after a while the wrong name has spread.
>
> Anyway, I think it makes sense to have the services also 
> available from the dlang.org domain, so I have added updated 
> the DNS record and I have successfully requested a certificate 
> for run.dlang.org.
>
> TL;DR https://run.dlang.org should now work (give or take some 
> time for the DNS changes to propagate).

Not sure if it needs time for the DNS to propagate on this or 
not, but the `run.dlang.org` page is looking like the 
`tour.dlang.org` page when I pull it up now.