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. -- Russel. ============================================================================= Dr Russel Winder t: +44 20 7585 2200 voip: sip:[email protected] 41 Buckmaster Road m: +44 7770 465 077 xmpp: [email protected] London SW11 1EN, UK w: www.russel.org.uk skype: russel_winder
signature.asc
Description: This is a digitally signed message part
