Edits to the GitHub UI to make it more informative
Extra GitHub PR Info Extension
A collection of GitHub quality of life improvements:
See https://github.com/driazati/github-extension for details
Read more
See https://github.com/driazati/github-extension for details
Source 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/*" ]}
Read more