Post

Actual request: has _anyone_ come up with a userscript or extension or alternate version of the Github Notifications tab that lets you actually filter out PR/issue entries by some criteria, like a text match or whether the last comment is from a bot? I live in that tab, but it's _painful_ :(

20/9/26, 4:14 pm0 reposts3 likes

Verdetto

@verdettoqr.com

20 Sept

Octobox is the closest I know: a separate inbox over the same notifications, searchable by bot:, author: and label:. For the last-comment test, the REST payload carries subject.latest_comment_url, and that comment's user.type reads Bot. Would a separate inbox do, or must it be the GitHub tab?