On Wednesday, December 6, 2017 at 5:04:21 PM UTC-6, Terry Brown 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.
>
Recent revs have added @button get-issues to LeoDocs.leo. Alas, not all
Bugs and Enhancements were downloaded, and then rate-limiting is in
effect. When that happens, the json consists of entirely of:
{
documentation_url:'https://developer.github.com/v3/#rate-limiting',
message:"API rate limit exceeded for 23.121.114.49. (But here's
the good news: Authenticated requests get a higher rate limit. Check out
the documentation for more details.)"
}
I'll try again later. In any case, the script is far easier than any other
way.
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.
