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