I have talked several times recently about Leo's GitHub tags. Getting these just right is one of those seemingly small things that makes a big big difference.
Here are the filters I use all the time. I have bookmarks for them all in my browser, labeled as follows: - 5.7.3: is:issue is:open milestone:5.7.3 <https://github.com/leo-editor/leo-editor/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+milestone%3A5.7.3> - 5.7.4: is:issue is:open milestone:5.7.4 <https://github.com/leo-editor/leo-editor/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+milestone%3A5.7.4> - best: is:issue is:open label:bes <https://github.com/leo-editor/leo-editor/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+label%3Abest> t - best-no-milestone: is:issue is:open label:best no:milestone <https://github.com/leo-editor/leo-editor/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+label%3Abest+no%3Amilestone> - bugs: is:issue is:open label:bug <https://github.com/leo-editor/leo-editor/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+label%3Abug> - info: is:issue is:open label:info -label:enhancement <https://github.com/leo-editor/leo-editor/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+label%3Ainfo+-label%3Aenhancement> - no: is:issue is:open no:milestone label:enhancement <https://github.com/leo-editor/leo-editor/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+no%3Amilestone+label%3Aenhancement> - summary: is:issue is:open label:summary <https://github.com/leo-editor/leo-editor/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+label%3Asummary> - branches: branches <https://github.com/leo-editor/leo-editor/branches/active> These filters are my most important planning tools. I can see at a glance everything important that is to be done. The "Best" label in particular helps keep me focused on the most important stuff. 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.
