That would be great! GitHub Pages only support static pages, so any PHP usage will need to be reworked not to use it. Also, won't someone need to keep renewing and paying for the leoeditor.com domain, if that becomes linked to GitHub Pages? If so, ultimately it would be good to phase that DNS entry out.
On Friday, December 30, 2022 at 7:48:52 AM UTC-5 Edward K. Ream wrote: > On Wednesday, December 28, 2022 at 3:04:39 PM UTC-6 tbp1...@gmail.com > wrote: > >> I meant that the server should be more available to devs or an admin. >> Right now, it may very well that only Speed and Edward can access it to >> make changes, etc. > > > Thanks to all for your comments. > > After looking at the docs for GitHub Pages <https://pages.github.com/>, I > think I should do the admin work required to transfer leo-editor.com. > Once the DNS stuff > <https://docs.github.com/en/pages/configuring-a-custom-domain-for-your-github-pages-site/managing-a-custom-domain-for-your-github-pages-site> > > goes through any Leo dev (including me) should be able to update Leo's docs > simply by doing a PR to a dedicated branch. > > I have just created #3019 > <https://github.com/leo-editor/leo-editor/issues/3019> for this project. > It's a restart of #480 > <https://github.com/leo-editor/leo-editor/issues/480>, which I have just > now closed. > > Edward > -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/f20b12cf-2590-40d3-a064-582f933c47d9n%40googlegroups.com.
