On Wed, 6 Dec 2017 12:12:31 -0600 "Edward K. Ream" <[email protected]> wrote:
> On Wed, Dec 6, 2017 at 12:09 PM, vitalije <[email protected]> wrote: > > > I have noticed some mistake(s) in tips. > > Please make obvious corrections directly in the opening comment. > > If you are not sure, just make another comment in the issue. Just to spell it out, the body of the first, top most text on the Tip issues will be the tip. GitHub calls this a comment, but I think most people regard it as the issue summary itself. It should include, at the end, a line starting with 'Tags: ', followed by comma separated tags for the tip, *which are distinct from GitHub issue tags*. Additional comments on the Tip issue can be used to discuss / clarify the tip, but won't be harvested as part of the tip. Question: should the issue's title be used as the title for the tip, or should the tip be solely the markdown content from the issue summary (first comment)? The latter would be more flexible, but I don't have a strong preference. 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.
