OctoLenses
Watch your repos and discover awesome things directly from your New Tab page.
As of June 2026, OctoLenses has 55 users and a 5.00/5 rating from 3 reviews in the Developer Tools category.
Usersup 1.9 percent+1.9%
55
55
Ratingno change0%
5.00
3 reviews
Reviewsno change0%
3
Version
2.3.0
Manifest V3
History
4 snapshotsTracking since Apr 1, 2026.
View as table
| Date | Users | Rating | Reviews | Version |
|---|---|---|---|---|
| Apr 1, 2026 | 54 | 5.00 | 3 | 2.3.0 |
| Apr 21, 2026 | 63 | 5.00 | 3 | 2.3.0 |
| May 7, 2026 | 60 | 5.00 | 3 | 2.3.0 |
| Jun 1, 2026 | 56 | 5.00 | 3 | 2.3.0 |
| Now | 55 | 5.00 | 3 | 2.3.0 |
Permissions & access
- Permissions
- identity
- Host access
- *://*.github.com/*, https://use.fontawesome.com/*, https://fonts.googleapis.com/*
Screenshots
About
As a developer, you shouldn't have to worry about filtering issues or pull requests manually and instead focus on what is fundamental: your code. This extension allows you to create very precise filters than will nicely lay out all the information you need in order to be as productive as possible. It features: - Creating filters for GitHub (both issues and pull requests) - Creating filters for Jira (so that you can better correlate your PRs with your issues, if you're using Jira) - Notifications when there are new items in one of your filters A dark theme was added, so that it doesn't hurt your eyes at night.
Technical
- Version
- 2.3.0
- Manifest
- V3
- Size
- 3.75MiB
- Min Chrome
- 88
- Languages
- 1
- Featured
- Yes
Metadata
- ID
- ghlblfakaklgkdmfejdlffbmpcaidoci
- Developer ID
- u5cfeada6b3bd1f5af0d9653cf98df107
- Developer Email
- [email protected]
- Created
- Aug 16, 2018
- Last Updated (Store)
- May 20, 2025
- Last Scraped
- Jun 1, 2026
- Website
- —
- Support URL
- —
- Privacy Policy
- https://octolenses.now.sh/static/privacy-policy.html
Similar extensions
Alternatives to OctoLenses, ranked by description similarity.
GitHub PR Filter Helper
Quick filter buttons for GitHub Pull Requests
3
GitHub Issue Focus
Filter out automated GitHub issue timeline updates to reduce noise
5
GitHub PR Custom Filter
Add custom filters to GitHub PR page.
2
★ 5.0
PullSmart Filters
Add custom filters to GitHub PR page.
—
GitHub Helper
Enhanced GitHub experience with file filtering and productivity tools for developers
4
GitHub PR Cleaner
Clean up GitHub PR conversations by filtering comments
13
GitHub UI Booster
Boost your GitHub UI. Works with GitHub Enterprise!
18
★ 5.0
GitHub PR Label Filter Tool
A Chrome extension to filter GitHub pull requests by labels.
4
Data sourced from the Chrome Web Store · last verified Jun 1, 2026.