[petsc-dev] Fwd: Pending configuration of custom domain docs.petsc.org

[Jed Brown]

I agree. I removed the domain from readthedocs.org so it should step complaining now.

Satish Balay via petsc-dev <petsc-dev at mcs.anl.gov> writes:

> Hm - we don't use readthedocs anymore.
>
> And I see docs.petsc.org is  getting redirected to  https://petsc.org/release/
>
> So I guess perhaps we don't need to update anything on readthedocs.
>
> [perhaps Jed can confirm]
>
> Satish
>
> On Tue, 30 Aug 2022, Matthew Knepley wrote:
>
>> Is someone looking at this?
>> 
>>   Thanks,
>> 
>>      Matt
>> 
>> ---------- Forwarded message ---------
>> From: Read the Docs <readthedocs at readthedocs.org>
>> Date: Mon, Aug 29, 2022 at 11:00 PM
>> Subject: Pending configuration of custom domain docs.petsc.org
>> To: <knepley at gmail.com>
>> 
>> 
>> Hello,
>> 
>> The configuration of your custom domain docs.petsc.org
>> <https://readthedocs.org/dashboard/petsc/domains/9397/edit/> is pending.
>> Make sure to follow the step from our documentation
>> <https://docs.readthedocs.io/page/custom-domains.html> to complete the
>> process.
>> 
>> If you don't complete the configuration, we will stop trying to validate
>> your domain in 3 weeks, 1 day.
>> Keep documenting,
>> Read the Docs
>> Read the Docs
>> https://readthedocs.org
>> 
>> 
>>