> > I'm not sure what you want here. How should this differ from any other >> issue posted to GitHub? >> > > It would have the label "Info". >
Info "issues" are documentation or tips and tricks. See https://github.com/leo-editor/leo-editor/issues?q=is%3Aopen+is%3Aissue+label%3AInfo Arguably these would be better as wiki pages so that the total number of open issues is not inflated, making it look like there are more problems than there are. We tried having them in wiki pages before, on a couple of different platforms, but they suffered from an "they're out there in the storage shed" problem: too far from the regular conversation, and consequently neglected. -matt -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/e402105b-431a-4fdc-9f22-8683c5174b5ao%40googlegroups.com.
