We are a team of programmers.
We have a main repo for one project.
One of the programmers in our team made a request to transfer to this repo.
I need to fix his pull request. And I am not the main owner of the repo.
How do I get his code?
When I switch to his account, I don’t see the plug of this repo (maybe it’s closed).
Is this done ?:
$ git remote add <name> <source> # for <source> - link to his pull request
$ git fetch <name>
$ git merge <name>/<branch>
source
share