Reputation: 63
My case is simple,
I created a branch say foo
and pushed it to remote.
I created a pull request to merge it to the master branch.
After that I deleted remote branch on git, (I am using git push origin --delete foo
).
After that I created some changes and did rebasing.
Then, I pushed this branch to remote having the same name foo
.
Now, I want to be able to reopen the pull request but I am unable to do so, the reopen PR button is disabled.
What I want to achieve actually is to have clean commit history, and at the same time to be able to see for each pull request its own history.
The above mentioned process is available on the bitbucket.
Upvotes: 1
Views: 1631
Reputation: 1323303
I suspect you won't be able to create a new pull request with a branch having the same name as one used for a closed pull request.
That is probably because, on GitHub, you can restore a deleted branch from a closed PR.
To avoid any collision with this possible restored branch, your new PR should have a different branch name.
Upvotes: 1