Thanks Oleg, that is exactly what I was looking for.
2014-08-05 10:26 GMT+02:00 Oleg Kalnichevski <[email protected]>: > On Tue, 2014-08-05 at 10:12 +0200, Francois-Xavier Bonnet wrote: > > Hi all, > > > > How do we merge a pull request on GitHub? What is the process? Is there a > > guideline somewhere? Who has the rights? > > I am using Git as a front-end to Subversion as described here [1]. > Merging a PR is a matter or fetching a remote repo, merging the fix > branch (or cherry picking individual commits) and committing the > chagesets with 'git svn dcommit' > > Does this help in any way? > > Oleg > > [1] http://wiki.apache.org/general/GitAtApache > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
