If we use the "open Tip issues are being edited, closed Tip issues are ready to use" workflow, we can get the Tips from:
https://api.github.com/repos/leo-editor/leo-editor/issues?labels=Tip&state=closed It's a JSON list of dicts which have a `body` key (they ripped that terminology off Leo, I bet ;-) which is the issue summary markdown. 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
