On Wednesday, December 28, 2022 at 3:04:39 PM UTC-6 [email protected] 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/d582e4f5-85f8-4318-8a1a-558ce6dcc717n%40googlegroups.com.
