On Wed, Dec 6, 2017 at 5:04 PM, Terry Brown <terrynbr...@gmail.com> wrote:

> 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.
>

​And this filter
<https://github.com/leo-editor/leo-editor/issues?q=is%3Aissue+label%3ATip+is%3Aclosed>
contains the same info, but expressed as a list of issues.

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 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.

Reply via email to