I agree. I removed the domain from readthedocs.org so it should step complaining now.
Satish Balay via petsc-dev <petsc-dev@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 <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 >> >> >>
