Edit, close or retarget a pull request
One step with GitHub. We can help you get access.
Get something done
Edit, close or retarget a pull request
with GitHub · Software Construction Management
Use GitHub: its GitHub v3 REST Pulls API lets you edit, close or retarget a pull request in a single step (PATCH /repos/{owner}/{repo}/pulls/{pull_number}). capabilities.work can help you get signed up and connected.
- Can I change the base branch a pull request merges into?
- How do I close a pull request without merging it?
- Is it possible to rename a pull request or rewrite its description?
Say it to your AI assistant
- Change the base branch of PR #{pull_number} in {owner}/{repo} to {base}.
- Set pull request {pull_number} in {owner}/{repo} to state {state}.
- Retitle PR #{pull_number} in {owner}/{repo} to {title}.
For your developer
PATCH /repos/{owner}/{repo}/pulls/{pull_number} in GitHub v3 REST Pulls API. Full spec on APIs.io.