I am not receiving notifications of new issues and PRs. I'm not sure why, and I'm not sure that's even possible. As a workaround, I have created two new filters:
- Pending issues <https://github.com/leo-editor/leo-editor/issues?q=is%3Aissue+is%3Aopen+no%3Amilestone>: is:issue is:open no:milestone. - Pending PRs <https://github.com/leo-editor/leo-editor/pulls?q=is%3Apr+no%3Amilestone+-label%3Aclosedpr>: is:pr no:milestone -label:closedpr. These new filters will keep me informed of all new issues and PRs. Edward P.S. To support these filters, I created a new label "closedPR" and a new "Earlier" milestone: - The "closedPR" label applies to all PRs that were closed without being merged. - The "Earlier" milestone applies to ancient (merged) PRs that did not have a milestone. EKR -- 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/adfe979d-8c82-4a21-9958-d7c129baaa99n%40googlegroups.com.
