Basically I used Github revert button to revert a previous PR for a feature branch into master
, then I decided to merge the same feature br
I know this is old, but if someone need a good answer is here:
After you merge a PR and delete the brach and later revert this merge, you can create a new branch and then revert the revert. Push this to remote repo and create a new PR.
This will create a new PR with one commit named 'revert "revert #123 blabla"` with all your changes on diff.
https://www.tildedave.com/2012/11/24/reverting-a-github-pull-request.html