Although I think Vitalije's spread sheet to collect tips was workable, GitHub has the advantage of having markdown rendering.
If we're going to manage tips on GitHub, the could be harvested from there automatically, using GitHub's API. 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. 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. Cheers -Terry -- 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.
