Yesterday I thoroughly revised and reorganized Leo's github issues <https://github.com/leo-editor/leo-editor/issues>, adding and deleting tags and closing quite a few issues. This is a *significant *revision of my priorities and plans.
*Filters *on Leo's issues are a crucial part of my work flow: they organize and clarify what is to be done. For example, the filter: is:issue milestone:5.8.1 is:open describes all open issues scheduled for Leo 5.8.1. In the past, I have provided *filter url's* when discussing my plans here. For example, the link, 5.8.1 page <https://github.com/leo-editor/leo-editor/issues?utf8=%E2%9C%93&q=is%3Aissue+milestone%3A5.8.1+-label%3Awaiting+-label%3Apip+is%3Aopen+>, is the filter url for the filter is:issue milestone:5.8.1 is:open, you can verify for yourself. I have private bookmarks for about a dozen important filters.* Aha: I can make my private bookmarks public!* I have just created #1064: Info: public filters for Leo's issues <https://github.com/leo-editor/leo-editor/issues/1064>. This issue lists my private filters, with url's, along with short comments explaining each filter. This issue has the tags "Info", "Summary", and "EKR", and will remain open indefinitely. *Disputes* Many issues have been given the dreaded "Maybe" or "Won'tDo" labels. *These labels are not necessarily death sentences.* Labels can change, and have done in the past. I often change my mind. I have disabled comments to #1064. The appropriate place to argue for an issue is here, in leo-editor, or in the affected issue itself. If you must comment on #1064 itself, please do so in a new thread here, or in a new issue. *Summary* #1064 <https://github.com/leo-editor/leo-editor/issues/1064> is a breakthrough in communication. It shows all Leo's users, including Leo's devs, how *and why* I organize my work. Comments are not allowed in #1064. The proper place to dispute the dreaded "Maybe" or "Won'tDo" tags is here, or in the issue itself. I'll report major changes to #1064 here, but there is now less need to show filter url's here. 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 [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.
