Examine source code of GitHub PR Tool

Inspect and view changes in GitHub PR Tool source codes across current and past versions

Premium users can view and search full source code, and see the source code differences between two versions.

manifest.json

{
  "update_url": "https://clients2.google.com/service/update2/crx",
  "manifest_version": 3,
  "name": "GitHub PR Tool",
  "version": "0.1.2",
  "description": "Mark all files as viewed / not viewed in GitHub pull requests.",
  "permissions": [
    "activeTab"
  ],
  "action": {
    "default_popup": "popup.html",
    "default_icon": "assets/images/icon.png",
    "default_title": "GitHub PR Tool - Click to mark all files as viewed or not viewed."
  },
  "icons": {
    "48": "assets/images/icon.png"
  },
  "host_permissions": [
    "https://github.com/**/**/pull/**/files"
  ],
  "content_scripts": [
    {
      "matches": [
        "<all_urls>"
      ],
      "js": [
        "assets/js/content.js"
      ]
    }
  ]
}