I like the not using the www prefix as a solution. Once you decide, I can do the GitHub side of things or allow you to do it. ---- Publius Scribonius Scholasticus p.scribonius.scholasti...@gmail.com
> On Jun 20, 2017, at 2:00 PM, omd <c.ome...@gmail.com> wrote: > > On Tue, Jun 20, 2017 at 2:39 PM, omd <c.ome...@gmail.com> wrote: >> It seems like it would be a good idea to point agoranomic.org at the >> new site. Assuming you agree, whoever owns the GitHub organization, >> please add www.agoranomic.org as a custom domain in the GitHub >> settings and let me know, and I'll move the DNS over. :) > > Er, except there's a small problem: I don't want to break list archive > URLs, and GitHub Pages doesn't seem to support any kind of wildcard > redirects. I just changed the web interface from www.agoranomic.org > to mailman.agoranomic.org, so future URLs won't have this issue in any > case, but existing ones will. > > I could mirror the entire archive into the Git repository, but that > would be 118,952 files and several GB… > > Or perhaps, since the existing URLs point to www.agoranomic.org, we > could have agoranomic.org be the canonical GitHub Pages domain, and > www.agoranomic.org would redirect either to there or > mailman.agoranomic.org depending on whether the path start with > /cgi-bin.