wow, is anyone actually using the github notifications page? every time i try to use it i leave disappointed by the lack of configurable filters. i canโt even filter by status to hide merged or closed PRs, which leaves an incredibly noisy view
11 months ago