Our DNS record may not be set correctly, as it has recently changed
ownership.
Ian
On Tue, 1 Mar 2022 at 13:38, Jürrens, Eike Hinderk
wrote:
> Dear Ian,
>
> as far as I understood github's documentation, using custom domains is
> supported:
>
> > All GitHub Pages sites, including sites that ar
Jurrens,
we don't have control over our DNS records, Planet holds them.
So no, we just cannot do it. We asked them to donate the records to OSGeo
months ago,
when they do, then we'll also be able to follow said procedure.
Cheers
Andrea
On Tue, Mar 1, 2022 at 2:40 PM Jürrens, Eike Hinderk <
e.h.j
Dear Ian,
as far as I understood github's documentation, using custom domains is
supported:
> All GitHub Pages sites, including sites that are correctly configured
with a custom domain, support HTTPS and HTTPS enforcement.
https://docs.github.com/en/articles/about-custom-domains-and-github-
