Reopen pull request
project_pr_reopenReopen a GitHub or GitLab pull/merge request that was closed by mistake so the same branch can be reviewed again.
Instructions
Reopen a closed pull/merge request (GitHub, GitLab). Bitbucket returns unsupported.
Use when: a PR was closed by mistake and the same branch should be reviewed again.
Avoid when: the branch was deleted or force-pushed away (open a new PR with project_pr_create).
Speed: one API call; idempotent.
Output: pr_reopen: repo, provider, pr, state, reopened, 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). |