In the given scenario:
- Pull request was merged
- The connected
branch#1
was removed
- Merged PR was reverted
- You don’t have
branch#1
, but you can see the reverted commit#1
All you have to do is to track the commit#1
and revert reverted commit.
$ git revert commit#1