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

[Satish Balay]

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