I got a pull request that contains two commits, one of which I'd be willing to merge.
However, the pull request has already been closed (not merged) and the corresponding branch deleted from the fork repo.
Is there a way to cherry-pick that commit? Or more generally, is there a way to merge a closed pull request without access to the fork branch?
git fetch origin pull/36/head
git log FETCH_HEAD