| Name | Type | Description | Notes |
|---|---|---|---|
| prUrl | string | URL to the created GitHub pull request | |
| prNumber | int | GitHub pull request number | |
| headBranch | string | The branch created with the fix | |
| patchedVulnerabilityIds | string[] | List of vulnerability IDs that were patched in the pull request |