https://blog.github.com/2018-05-01-github-pages-custom-domains-https/
update your DNS records to the new IPs, Wait for propagation And like Guillaume said, disable GH pages generation and reenable to trigger the move. Emmanuel > On 16 Jun 2018, at 10:06, Gunnar Morling <gun...@hibernate.org> wrote: > > Excellent, thanks a lot! Do you have a link to instructions you followed? > Would like to do the same for another site of mine. > > 2018-06-16 9:05 GMT+02:00 Emmanuel Bernard <emman...@hibernate.org>: >> I’ve enabled HTTPS for BV after a bit of a fight with the DNS entries. I’m >> planning to enforce HTTPS only in a few days. >> >> Have all of our GH pages hosted properties moved to HTTPS? >> What about the other properties? >> >> Emmanuel >> >> _______________________________________________ >> hibernate-dev mailing list >> hibernate-dev@lists.jboss.org >> https://lists.jboss.org/mailman/listinfo/hibernate-dev > _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
