Hi, If there aren't any merge conflicts you should be able to do that from github itself. If there are conflicts then you need to fetch the pull requests, resolve conflicts and then commit them to the repo.
Thanks, Farasath On May 19, 2016 9:10 AM, "Ajith Nair" <[email protected]> wrote: > Folks, > > There is one outstanding pull request (from Dirk Koehler) that I have had > a chance to review. The changes look good and I would like to merge that > in. However, I guess I am lost as to how to do this. Can I do this from > github ? If so, how can I ensure that my write access(as a committer) is > reflected there ? > > Also, would Pam or David be interested in reviewing the changes ? Frankly, > I am not sure what’s the recommended approach around this. > > Thanks, > Ajith
