Close pull request
project_pr_closeClose or decline an open pull/merge request without merging it when the change is superseded, opened by mistake, or should be abandoned.
Instructions
Close (decline) an open pull/merge request without merging it. Use when: a PR is superseded, opened by mistake, or the user asked to abandon it. Avoid when: the change should land (use project_pr_merge instead). Speed: one API call; idempotent (closing a closed PR is a no-op). Output: pr_close: repo, provider, pr, state, closed, url. Batch-safe: no
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr | Yes | PR number or PR URL. | |
| repo | No | Repository as "owner/name" or a PR URL (default: VENIRA_GIT_REPO, git.repo in venira.config.json, else the workspace .git origin remote). | |
| reason | No | Why this change is made (e.g. "sua loi null pointer o dong 45"). Recorded in the audit trail so later sessions know the intent. Single line, max 400 chars, secrets are redacted. | |
| provider | No | Provider override for this call (default: VENIRA_GIT_PROVIDER, then venira.config.json, then inferred from the origin remote). |