Extra GitHub PR Info
Edits to the GitHub UI to make it more informative
What is Extra GitHub PR Info?
Extra GitHub PR Info is a Chrome extension developed by Meta, and its main feature is "Edits to the GitHub UI to make it more informative".
Extension Screenshots
Download Extra GitHub PR Info Extension CRX File
Download Extra GitHub PR Info extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.
Extension Usage Instructions
A collection of GitHub quality of life improvements: See https://github.com/driazati/github-extension for details
Extension Basic Information
Name | Extra GitHub PR Info |
ID | pianlbphbcjkcghlboepagpoilanigff |
Official URL | https://chromewebstore.google.com/detail/extra-github-pr-info/pianlbphbcjkcghlboepagpoilanigff |
Description | Edits to the GitHub UI to make it more informative |
File Size | 38.37 KB |
Installation Count | 231 |
Current Version | 1.8.3 |
Last Updated | 2021-09-30 |
Publish Date | 2020-03-11 |
Developer | Meta |
[email protected] | |
Payment Type | free |
Extension Website | https://github.com/driazati/github-extension |
Help Page URL | https://github.com/driazati/github-extension |
Supported Languages | en-US |
manifest.json | |
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "manifest_version": 2, "name": "Extra GitHub PR Info", "short_name": "Extra GitHub PR Info", "description": "Edits to the GitHub UI to make it more informative", "version": "1.8.3", "author": "pytorch", "icons": { "16": "icons\/icon16.png", "48": "icons\/icon48.png", "128": "icons\/icon128.png" }, "options_ui": { "page": "options.html", "chrome_style": true }, "content_scripts": [ { "matches": [ "*:\/\/github.com\/*\/pulls*", "*:\/\/github.com\/pulls*" ], "js": [ "lib.js", "show_build_status.js" ], "run_at": "document_end" }, { "matches": [ "*:\/\/github.com\/*" ], "js": [ "disable_pjax.js" ], "run_at": "document_end" }, { "matches": [ "*:\/\/github.com\/*\/*\/pull\/*", "*:\/\/github.com\/*\/*", "*:\/\/github.com\/*\/*\/commits\/*" ], "js": [ "lib.js", "unminimize_comments.js", "sort_signals.js", "remove_timeline_events.js", "expand_signals_box.js" ], "run_at": "document_start" }, { "matches": [ "*:\/\/github.com\/*\/*\/pull\/*\/files" ], "js": [ "lib.js", "reorder_code_reviews.js" ], "run_at": "document_start" } ], "background": { "scripts": [ "remove_cors.js" ], "persistent": true }, "permissions": [ "storage", "https:\/\/github.com\/*" ] } |