Skip to content

/protect

Protect your repo.

Nothing happens to a repository until its owner opts in. Choose one path. You can revoke access at any time by uninstalling the App.
<?php$page = ["permissions" => 4, least privilege,"writes" => patch-agent/* only,"default_branch" => never touched,"revoke" => uninstall the app,];
  1. 01 You install the App
  2. 02 .patchbot narrows scope
  3. 03 Agent scans pinned PHP
  4. 04 PR on patch-agent/*
  5. 05 Your CI runs
  6. 06 You merge

Path 01

Install the GitHub App

Select the repositories you want covered. Installation is the authorization.

Install on GitHub →

Path 02

Add a .patchbot file

Narrow what the agent may do in a repository where the App is installed: severities, patch types, PR settings and verification requirements.

Requested permissions[github-app-permissions]

Not requested: administration, secrets, workflows, actions, members, issues, deployments, environments.

Policy editor

Validation

VALID POLICY

{
  "version": 1,
  "enabled": true,
  "severity": [
    "critical",
    "high"
  ],
  "patches": {
    "dependencies": true,
    "containers": true,
    "ci": true
  },
  "pull_requests": {
    "enabled": true,
    "draft": false
  },
  "verification": {
    "require_ci": true,
    "require_human_review": false
  }
}

Unknown keys are rejected. The schema has no field for commands: tests run in your own CI, never from this file.