-
-
Save Farhan-Haseeb/fd4cbb476de4e2931c322d7bacb75e5f to your computer and use it in GitHub Desktop.
| How to reopen a pull-request from github? | |
| Precodinitions | |
| You need the rights to reopen pull requests on the repository. | |
| The pull request hasn't been merged, just closed. | |
| Go to Pull requests add filter `is:closed` choose PR you want to reopen. Select from checkbox and mark as Open. | |
This doesn't seem to work if the branch was deleted
I re-published a branch, and this method is not working.
So technically github has a bug. What appears to be working, is not actually working.
The PR and Branch are separate entities. The PR is just what was and what is between parent -> child.
Republishing a branch won't won't open a PR. If its not merged you have to reopen it explicitly:
Why the "Reopen pull request" button is disable even after you write something in the comment?
"You need the rights to reopen pull requests on the repository."
How to do it?
If you changed the branch name or deleted the branch, the reopen pull request button will be disabled so first you need to click the restore branch button in the right section of your commit ( change branch name / delete branch commit) inside your pull request then the reopen button will be enabled
nicr
If you changed the branch name or deleted the branch, the reopen pull request button will be disabled so first you need to click the restore branch button in the right section of your commit ( change branch name / delete branch commit) inside your pull request then the reopen button will be enabled
Thanks for this info!
Thank you, this worked well for me :)