GitHub PR Extractor

{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "manifest_version": 3,
    "name": "GitHub PR Extractor",
    "version": "1.1",
    "description": "Extract PR numbers from a GitHub page and export to CSV.",
    "permissions": [
        "activeTab"
    ],
    "action": {
        "default_popup": "popup.html",
        "default_icon": "icons\/gh-16x16.png"
    },
    "default_icon": {
        "16": "icons\/gh-16x16.png",
        "48": "icons\/gh-48x48.png",
        "128": "icons\/gh-128x128.png"
    },
    "icons": {
        "16": "icons\/gh-16x16.png",
        "48": "icons\/gh-48x48.png",
        "128": "icons\/gh-128x128.png"
    },
    "content_scripts": [
        {
            "matches": [
                "*:\/\/github.com\/*"
            ],
            "js": [
                "content.js"
            ]
        }
    ]
}