How to cancel a pull request on github?
GitGithubPull RequestGit Problem Overview
How can a pull request on github be cancelled?
Git Solutions
Solution 1 - Git
GitHub now supports closing a pull request
Basically, you need to do the following steps:
- Visit the pull request page
- Click on the pull request
- Click the "close pull request" button
Example (button on the very bottom):
This way the pull request gets closed (and ignored), without merging it.
Solution 2 - Git
In the spirit of a DVCS (as in "Distributed"), you don't cancel something you have published:
Pull requests are essentially patches you have send (normally by email, here by GitHub webapp), and you wouldn't cancel an email either ;)
But since the GitHub Pull Request system also includes a discussion section, that would be there that you could voice your concern to the recipient of those changes, asking him/her to disregards 29 of your 30 commits.
Finally, remember:
- a/ you have a preview section when making a pull request, allowing you to see the number of commits about to be included in it, and to review their diff.
- b/ it is preferable to rebase the work you want to publish as pull request on top of the remote branch which will receive said work. Then you can make a pull request which could be safely applied in a fast forward manner by the recipient.
That being said, since January 2011 ("Refreshed Pull Request Discussions"), and mentioned in the answer above, you can close a pull request in the comments.
Look for that "Comment and Close" button at the bottom of the discussion page:
Solution 3 - Git
If you sent a pull request on a repository where you don't have the rights to close it, you can delete the branch from where the pull request originated. That will cancel the pull request.
Solution 4 - Git
Go to conversation tab then come down there is one "close pull request" button is there use that button to close pull request, Take ref of attached image
Solution 5 - Git
If you have opened PR on gitHub, but it is not merged yet and you want to get rid off it, not just close, do this simple command:
git push origin --delete <your branch name of your PR>
Solution 6 - Git
I had the same problem. What I did is
- Go to the Pull Request page.
- Check the commit using the checkmark on left of the commit.
- From the dropdown "Mark as" click Close.
That's all.
Solution 7 - Git
Super EASY way to close a Pull Request - LATEST!
- Navigate to the
Original Repository
where the pull request has been submitted to. - Select the
Pull requests
tab - Select your pull request that you wish to remove. This will open it up.
- Towards the bottom, just enter a valid comment for closure and press
Close Pull Request
button