GitHub PR: Push & pull from contributor upstream
# git push git@github.com:<username>/<repository>.git <upstream-branch>:<local-branch>
git push git@github.com:EstebanBorai/repository-name.git fix-documentation:fix-typo-in-documentation
# git fetch <remote name> pull/<pr number>/head:<pr branch name>
git fetch upstream pull/1/head:fix-documentation