Improved tracking of issues and PRs

13 views

Skip to first unread message

Edward K. Ream

unread,

Jul 23, 2024, 6:41:19 AM7/23/24

to leo-editor

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: is:issue is:open no:milestone.
- Pending PRs: 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.