English
See more
Add options to github PR and issues search
Latest Version
Version
0.1
Update
September 6, 2022
Size
22.38KiB
Developer
Category
Users
3 
Rating
0 ★
Manifest Version
3
Web Store Status
Extension ID
Languages Support
Permissions
PR Search Extension
Add dropdown menus for filtering PRs or issues by type, state, keywords and date pickers for searching by a date or date range. The additional UI parts will be displayed below the page container's header of the issue and pr list pages.
Read more
Source Manifest.json
{"update_url": "https://clients2.google.com/service/update2/crx", "manifest_version": 3, "name": "PR Search", "version": "0.1", "description": "Add options to github PR and issues search", "icons": { "16": "icons/icon.png", "48": "icons/icon.png", "128": "icons/icon.png" }, "content_scripts": [ { "js": [ "src/content.js" ], "matches": [ "*://*.github.com/*" ] } ]}
Read more
Similar Extensions
Itch Dashboard Filter 3 3 ★ 52.11KiB
Bing Click Search 3 1 ★ 7.19KiB
Selection Menu 3 3 ★ 14.32KiB
Yandex Search Button 3 10 ★ 57.31KiB
Salesforce Flow List Search 3 5 ★ 37.91KiB
SearchBox Bookmarks 3 6 ★ 16.89KiB
Select and Search 3 0 ★ 16.9KiB
Tag Assistant search filter 3 1 ★ 55.29KiB
Easy Filters 3 0 ★ 127KiB
Extension Menu 3 3 ★ 21.72KiB
Simple Search and Replace 3 7 ★ 44.46KiB
Advanced Twitter Search 3 6 ★ 342KiB
GitHub Code Owners Filter 3 2 ★ 156KiB
Reverse Image Search 3 25 ★ 105KiB
GitHub Milestones Timeline 3 0 ★ 120KiB
Promptly 3 0 ★ 56.92KiB
Search Noise Filter 3 3 ★ 10.43KiB
Hoohle Search - Google Search Buddy 3 1 ★ 111KiB
Right Click Search Incognito 3 5 ★ 9.89KiB
Site search on google 3 0 ★ 16.12KiB
Developer Search 3 0 ★ 63.9KiB
Github PR Enhancer 3 0 ★ 139KiB
Hacker News Sorter 3 5 ★ 39.88KiB
Selection Search 3 540 ★ 163KiB
Latest Updates
Top Rated
Hola VPN - Your Website Unblocker
Adblock for Youtube™
AdBlock — block ads across the web
Video Downloader Professional
Adblock Plus - free ad blocker
Stands AdBlocker
Evernote Web Clipper
Argent X - Starknet Wallet
Touch VPN - Secure and unlimited VPN proxy
Pop up blocker for Chrome™ - Poper Blocker