It's also possible to be able to do i.e. git checkout origin/pull/1/head via https://www.jvt.me/posts/2019/01/19/git-ref-github-pull-requests/
by 
Jamie Tanna
.
This post was filed under replies.
Interactions with this post
Interactions with this post
Below you can find the interactions that this page has had using WebMention.
Have you written a response to this post? Let me know the URL:
Do you not have a website set up with WebMention capabilities? You can use Comment Parade.