For my own reference:
Example:
git remote add coworker https://github.com/coworker/titanium_studio.git
git fetch coworker
git checkout --track coworker/TIMOB-23628
If your co-worker has made some more changes, then you pull the latest changes in the below way.
git checkout TIMOB-23628
git pull
To push it back to your colleague branch
git puh coworker TIMOB-23628
Another way would be
To fetch a remote PR into your local repo,
git fetch origin pull/ID/head:BRANCHNAME
where ID
is the pull request id and BRANCHNAME
is the name of the new branch that you want to create. Once you have created the branch, then simply
git checkout BRANCHNAME
Reference:
https://stackoverflow.com/questions/27567846/how-can-i-check-out-a-github-pull-request-with-git