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]
