WebExtension.net
WebExtension.net

Extra GitHub PR Info

View on Chrome Web Store
View Extra GitHub PR Info Chrome Extension on Chrome Web Store
0.0 (0 ratings)

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
212 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
View on Chrome Web Store
View Extra GitHub PR Info Chrome Extension on Chrome Web Store
productivity/developer
Extension Category

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\/*"
    ]
}
WebExtension.net

Track and analyze Chrome Web Store extensions with comprehensive analytics and insights.

© 2024 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