groovy-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Jochen Theodorou <>
Subject Re: New Workflow…
Date Sun, 19 Apr 2015 19:15:13 GMT
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

View raw message