On Tue, 5 Dec 2017 10:53:47 -0600 "Edward K. Ream" <[email protected]> wrote:
> > 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. I'd say Closed == complete / ready for use. Whenever the db shipped with Leo is regenerated, it could harvest all closed issues tagged with Tip. More specific pointer to API https://developer.github.com/v3/issues/#list-issues 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.
