WebExtension.net
Toggle dark mode
WebExtension.net

Extra GitHub PR Info

View on Chrome Web Store
View Extra GitHub PR Info Chrome Extension on Chrome Web Store
Add to bookmarks
0.0 (0 ratings)
3 views
This extension has been viewed 3 times

Data is synced from the Chrome Web Store. View the official store page for the most current information.

Edits to the GitHub UI to make it more informative
Type
Extension
Users
197 users
4
Meta
View author page of Meta
Published
Published on August 2, 2019
Version 1.8.3
Manifest version
2
Updated
Updated on September 30, 2021
productivity/developer
Extension Category
View on Chrome Web Store
View Extra GitHub PR Info Chrome Extension on Chrome Web Store
Share This Extension
Share on Twitter
Share on Facebook
Share on LinkedIn
Share on Reddit
Share on Bluesky
Share on Pinterest

Extension Manifest

Copy manifest to clipboard
{
    "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\/*"
    ]
}
© 2025 WebExtension.net. All rights reserved.
Disclaimer: WebExtension.net is not affiliated with Google or the Chrome Web Store. All product names, logos, and brands are property of their respective owners. All extension data is collected from publicly available sources.
Go to top