Activity filter for GitHub

A web extension for filtering the activity feed on github.com dashboard.

⚠️ This does not work with the new "For you" event feed.