author avatar

revath

Sat Dec 29 2018

git fetch origin pull//head: to checkout github pull request to local branch without adding the fork to your remote.