PR-Agent Chrome Extension

An extension that enables easy access to PR-Agent commands.

Upgrade to view and diff full source code

Additional files are visible only to premium users

manifest.json

{
  "update_url": "https://clients2.google.com/service/update2/crx",
  "name": "PR-Agent Chrome Extension",
  "version": "1.15",
  "manifest_version": 3,
  "description": "An extension that enables easy access to PR-Agent commands.",
  "homepage_url": "https://codium.ai",
  "icons": {
    "16": "icons/icon16.png",
    "48": "icons/icon48.png",
    "128": "icons/icon128.png"
  },
  "default_locale": "en",
  "permissions": [
    "tabs",
    "scripting",
    "storage"
  ],
  "host_permissions": [
    "https://*/*/*/pull/*",
    "http://*/*/*/pull/*"
  ],
  "background": {
    "service_worker": "src/background.js"
  }
}