-1

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.

Vuk
  • 19
  • 1
  • 4

1 Answers1

2

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.

enter image description here

Matt Weber
  • 2,628
  • 2
  • 10
  • 28
  • 1
    "If you need to truly "Delete" if you have to contact GitHub Support" -- and they will probably laugh at you. – Flimzy 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
  • 1
    The 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. – Flimzy Jul 11 '19 at 13:50
  • Ah... Right. Well, without more info this is his best option. – Matt Weber Jul 11 '19 at 13:51