Christopher Scott has shared 1 tiny tool here, mostly around github and productivity.https://www.tinytooltown.com/en-ushttps://www.tinytooltown.com/tools/github-notification-cleaner/https://www.tinytooltown.com/tools/github-notification-cleaner/Cleans stale notifications for PRs and Issues that are already closed/merged etc. By Christopher Scott (@christothes) License: MIT GitHub: https://github.com/christothes/gh-notif-cleanerTue, 24 Feb 2026 00:00:00 GMTgithubproductivity