The transition to Leo's new website at https://leo-editor.github.io/leo-editor/ will happen later today. We gain nothing by delaying this transition. It will be easy to fix broken links because Speed's server retains all its old files.
The transition will be complete when I load this page <https://leo-editor.github.io/leo-editor/redirect_index.html> (renamed index.html) to Speed's server. This page is the new home page for leoeditor.com. As you can see, it just says that Leo's website has moved, giving the new url. The new (redirection) home page for leoeditor.com should help Google find Leo's new home page. Edward P.S. Info item #3019 <https://github.com/leo-editor/leo-editor/issues/3019> lists why moving Leo's website is worth doing, even if GitHub Pages were to disappear tomorrow: - The leo-editor/docs directory shows explicitly what Leo's new website contains. This directory also contains a few transition files. - The @button find-bad-links script in LeoDocs.leo is an excellent addition. - Info item #3041 <https://github.com/leo-editor/leo-editor/issues/3041> is long overdue. EKR -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/e4ff7904-89af-4ff1-b60a-88c8ef587437n%40googlegroups.com.
