Git allows you to specify a particular reference via the refspec
argument: source:destination
.
In this case the command for copying the remote branch from machine2
is
git fetch machine2 refs/remotes/machine1/develop:refs/remotes/machine1/develop