问题
- I made some changes
- I submitted a pull request
- The pull request was accepted and merged.
- We found a bug
- The changes were removed again whilst I fixed the bug.
I've now fixed the bug and want to resubmit the pull request with 1 extra commit. Is there any way to reopen the pull request or update it, or do I have to create a new pull request, type out the description etc again? Gitorious has this feature and we've recently moved to GitHub.
回答1:
The answer seems to be: You can't.
Once a pull request is merged and closed, it is locked forever and cannot be reopened. If your pull request is merged, closed, then your changes are pulled out (via force pushing backwards to before the merge), you will need to add commits to the branch and create a new pull request, copying all the details over and probably providing a link to the original pull request to manually save the history.
Might be a nice feature request for future GitHub.
回答2:
I just successfully reopened a pull request by
- Commenting on the pull request
- Clicking the 'Submit and re-open' button which appeared on the comment form.
回答3:
Just derive a new branch from the existing branch where you have done extra 1 commit. From there submit the pull request.
回答4:
You can use the revert action:
It will create another pull request undoing all the changes did in the merged PR.
来源:https://stackoverflow.com/questions/12674304/github-reopening-a-merged-pull-request