Examine source code of GitHub PR Opener

{
  "manifest_version" : 3 ,
  "name" : "GitHub PR Opener",
  "version" : "1.2.0",
  "description" : "Open a GitHub pull request from its branch name using the address bar.",
  "icons" : {
    "16" : "icons/icon-16.png",
    "32" : "icons/icon-32.png",
    "48" : "icons/icon-48.png",
    "96" : "icons/icon-96.png"
  },
  "background" : {
    "scripts" : [
      "background.js" 
    ]
  },
  "permissions" : [
    "storage" 
  ],
  "action" : {
    "default_title" : "Open a GitHub pull request",
    "default_icon" : {
      "16" : "icons/icon-16.png",
      "32" : "icons/icon-32.png"
    },
    "default_popup" : "popup.html"
  },
  "omnibox": {
    "keyword": "pr"
  },
  "options_ui" : {
    "page": "options.html" ,
    "open_in_tab": true
  },
  "browser_specific_settings": {
    "gecko": {
      "id": "github-pr-opener-c3bd61bd-28e6-46e7-8368-f5147d4fa575@local.extension",
      "data_collection_permissions": {
        "required": [
          "none"
        ]
      }
    }
  }
}