Skip to content

Jacob Petersen

2 listings we've seen · as of 4 Oct 2026. This is the maker name shown on the store, not proof of who owns the company.

GitHub Filters

Developer Tools

Adds filters to GitHub pull request changes.

Store users
3
Ratings
Not rated yet
Overview
Explore the store
Opportunities
Compare
Watchlist
Collections
Saved searches
Alerts
Reports
Plans & usage
Account settings
↑↓Navigate↵OpenEscClose⌘KToggle