English
See more
Filter and sort your GitHub PR overview
Latest Version
Version
0.1.0
Update
September 20, 2022
Size
16.92KiB
Developer
Category
Users
273 
Rating
0 ★
Manifest Version
3
Web Store Status
Extension ID
Languages Support
Permissions
Priority Extension
Please note that this exension is absolutely bare bones right now. More features and customizability will be added in the future.
This extension adds a new button to the GitHub PR overview: \"Priority\"
This directs you to the list of requested reviews, but hides all PRs from the user \"dependabot\".
Read more
This extension adds a new button to the GitHub PR overview: \"Priority\"
This directs you to the list of requested reviews, but hides all PRs from the user \"dependabot\".
Source Manifest.json
{"update_url": "https://clients2.google.com/service/update2/crx", "manifest_version": 3, "name": "Priority", "version": "0.1.0", "description": "Filter and sort your GitHub PR overview", "icons": { "128": "icons/icon_128.png" }, "background": { "service_worker": "background.js" }, "action": { "default_title": "Priority", "default_popup": "popup.html" }, "permissions": [], "content_scripts": [ { "matches": [ "https://github.com/pulls/*" ], "run_at": "document_idle", "js": [ "contentScript.js" ] } ]}
Read more
