How do I merge a pull request on someone else’s project in git?
(GitHub has very thorough documentation on how to deal with pull requests.) Essentially, you’ll want to add a remote for the repository of the person who made the pull requests, e.g.: git remote add helpful git://github.com/helpful-person/whatever.git … then fetch their changes into remote-tracking branches: git fetch helpful … so that now you have all the … Read more