We are a team of programmers.
We have the main repo for one project.
One of programmers in our team made a pull request to that repo.
I need to fix his pull request. And I'm not a main repo owner.
How do I fetch his code?
When I go to his account - I don't see the fork of that repo (probably it's private).
Is it done like so?:
$ git remote add <name> <source> # for <source> - link to his pull request
$ git fetch <name>
$ git merge <name>/<branch>