On Tue, Dec 5, 2017 at 10:45 AM, Terry Brown <[email protected]> wrote:
Although I think Vitalije's spread sheet to collect tips was workable, > GitHub has the advantage of having markdown rendering. > There are many other advantages. > If we're going to manage tips on GitHub, the could be harvested from > there automatically, using GitHub's API. I didn't know that ;-) > So while we could close tips > > to indicate they're complete, I think GitHub could be their canonical > > source. Makes it easy to edit and update them. > I agree. Closed == Harvested. Of course issues are outside the core Leo repos., so we'd have to > remember to harvest them if ever leaving GitHub for any reason. > In any case, it might be best to periodically copy snapshots of the tips to LeoDocs.leo and/or CheatSheet.leo. 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
