I am getting a deployment error and I want to delete an unmerged pull request. I have to make changes to the pulled code and create a new PR.
Asked
Active
Viewed 1.4k times
0
-
3So what's stopping you? – Jonathan Hall Jul 11 '19 at 13:44
-
4Aside from that, why do you need to make a new PR? Just update the one you have. – Jonathan Hall Jul 11 '19 at 13:45
-
https://stackoverflow.com/search?q=%5Bgithub%5D+update+pull+request – phd Jul 11 '19 at 14:35
1 Answers
3
You could just update the PR by committing to the branch you made the PR from. If this doesn't work for some reason and you truly need to make a New PR then navigate to the Pull Request on GitHub and close it. If you need to truly "Delete" if you have to contact GitHub Support.
Matt Weber
- 2,808
- 2
- 14
- 30
-
1"If you need to truly "Delete" if you have to contact GitHub Support" -- and they will probably laugh at you. – Jonathan Hall Jul 11 '19 at 13:48
-
They will delete it if it contains sensitive data. Which is likely the cause of wanting to delete the PR here. – Matt Weber Jul 11 '19 at 13:49
-
1The cause is "I am getting a deployment error". I don't think that's about sensitive data. I think it's just a broken PR, and someone who doesn't understand how PRs work. – Jonathan Hall Jul 11 '19 at 13:50
-