← Back to extensions
GitHub PR Label Filter Tool icon

GitHub PR Label Filter Tool

πŸ§‘β€πŸ’» Developer Tools
7

A Chrome extension to filter GitHub pull requests by labels.

A Chrome extension to filter GitHub pull requests by labels.

User reviews

No reviews collected yet.