Hi, I recently moved one of my repositories http://github.com/kellertuer/Manopt.jl to an org https://github.com/JuliaManifolds/Manopt.jl and the redirect works fine. Also the documentation (Julia Documenter via GitHub Pages) works fine, as long as one accesses the direct url http://manoptjl.org/stable/ the base url however http://manoptjl.org does not work. I checked with my provider, and all A entries are still the same and I updated the CNAME last sunday already from `kellertuer.github.io` to `juliamanifolds.github.io` however, the last url posted still opens the first string and can not find a github page there (of course). What did I miss and how can I resolve this?
... View more