English
See more
Add custom filters to GitHub PR page.
Latest Version
Version
1.0
Update
December 16, 2024
Size
27.43KiB
Developer
Category
Users
2 
Rating
0 ★
Manifest Version
3
Web Store Status
Extension ID
Languages Support
Permissions
PullSmart Filters Extension
This extension allows you to save custom filters to the Pull Requests (PR) page for easy usage.
This extension is not affiliated with or endorsed by GitHub. It is designed to enhance the user experience while adhering to GitHub's terms of service.
Read more
This extension is not affiliated with or endorsed by GitHub. It is designed to enhance the user experience while adhering to GitHub's terms of service.
Source Manifest.json
{"update_url": "https://clients2.google.com/service/update2/crx", "manifest_version": 3, "name": "PullSmart Filters", "description": "Add custom filters to GitHub PR page.", "version": "1.0", "icons": { "128": "icons/icon128.png", "48": "icons/icon48.png", "32": "icons/icon32.png", "16": "icons/icon16.png" }, "content_scripts": [ { "css": [ "style.css" ], "js": [ "content.js" ], "matches": [ "*://github.com/*" ], "run_at": "document_end" } ]}
Read more
