But that's what Russel would like :-) 2015-04-19 21:15 GMT+02:00 Jochen Theodorou <[email protected]>:
> Am 19.04.2015 15:07, schrieb Russel Winder: > >> On Sat, 2015-04-18 at 19:25 +0200, Pascal Schumacher wrote: >> >>> […] >>> >>>> >>>> We just have to merge pull request by hand into our local copy of >>>> the >>>> apache repository and then push to the apache repo. From there the >>>> changes will be mirrored to github. >>>> >>> >>> So for non-commiters the workflow is the same as before. Just the >>> person >>> merging the pull request has to do bit more work. >>> >> >> This seems, well, insane. Why can't the merging all happen on GitHub, >> with the Apache mainline actually being a mirror of the GitHub one, >> even though the Apache mainline is the official definition of the >> project. >> > > I think there is a small mistake. The Github repo is a mirror of the > apache one, not the other way around. So if you merged on github, you would > merge on the mirror. > > bye blackdrag > > -- > Jochen "blackdrag" Theodorou > blog: http://blackdragsview.blogspot.com/ > > -- Guillaume Laforge Groovy Project Manager Product Ninja & Advocate at Restlet <http://restlet.com> Blog: http://glaforge.appspot.com/ Social: @glaforge <http://twitter.com/glaforge> / Google+ <https://plus.google.com/u/0/114130972232398734985/posts>
