If Theo wants some code in Dave's branch, Theo should log into GitHub and pull request from Dave's branch to Theo's branch.
It will be Theo's responsibility to resolve any merge conflicts that arise from the pull.
Once the pull request is complete and any arising merge conflicts resolved, Theo will run the following command to get the code onto his local machine: