Working with Git

Chris Jones jonesc at hep.phy.cam.ac.uk
Thu Oct 6 00:39:48 PDT 2016


 > How do I take the user's pull request, make additional changes, and 
commit them to our master?

Anyone can commit to the branch created by the user for the pull 
request. So you can just checkout that branch yourself, make changes, 
commit and push them back to the branch, and thus the merge request.

Chris


More information about the macports-dev mailing list