A branch on a GitHub repository belonging to an organization was associated with a pull request. The pull request was closed, and the branch was deleted. How would you restore the branch?
1. Click on the branch selector on the main menu, search deleted, select the branch you want to restore, and click Restore branch
2. Run git checkout -b --restore <branch name> in your local repository, then run git push <remote name> <branch name>
3. Go to Pull requests, select Closed, then select the pull request associated with the branch you want to restore, and select Restore branch on that pull request's page
4. Run git reflog in your local repository to find the branch's SHA hash, then run git checkout -b <branch name> <SHA hash>, and finally git push <remote name> <branch name>