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 <readthed...@readthedocs.org> > Date: Mon, Aug 29, 2022 at 11:00 PM > Subject: Pending configuration of custom domain docs.petsc.org > To: <knep...@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 > > >