run.dlang.org does not work

[Petar]

On Tuesday, 15 November 2022 at 16:04:40 UTC, jmh530 wrote:
> 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.

:facepalm: I can't believe I didn't notice that... (that should 
teach me not do other stuff in the middle of a release at work :D)

Let see if this does the trick: 
https://github.com/dlang-tour/core/pull/779