Closed rwy7 closed 6 years ago
with the new custom domain name, we don't have support for https. I believe that this is going to magically start working today, based on github's blog post yesterday: https://blog.github.com/2018-05-01-github-pages-custom-domains-https/
Do we want to use https when linking to our website, which is currently broken, or http, which will soon be obsolete?
Oh, it looks like the https urls I've been using are somehow falling back to http. I'm going to leave the links with https for now.
I cancelled the build, not important for this PR.
If http is going to become obsolete soon, then perhaps we should be working on setting https sometime soon, but it doesn't seem super urgent right now.
Reproduce the README's contents in the setup page. Fix a typo in the build instructions.
Signed-off-by: Robert Young rwy0717@gmail.com