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/
