On Thursday, December 7, 2017 at 2:28:52 PM UTC-3, Terry Brown wrote: > I think the current GitHub solution handles revision. The harvesting > code only takes a moment to run - we could add it to a git commit hook > as a once a day thing for example. As you say re-opening an tip-issue > could be used to temporarily exclude it from harvesting, if needed. > > Cheers -Terry >
OK, sounds good to me. -- 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.
