[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Github usage Was: [Statistics] Port codes from Commons Math

> On Mar 13, 2018, at 11:20 AM, Gilles <gilles@xxxxxxxxxxxxxxxxxxxxx> wrote:
> I didn't find it very easy to cooperate with developers who fork on GitHub and submit PRs. I've now found the "git" command that creates a branch from a PR, but it would be so much more comfortable to just switch directory and do "git pull".

Just as a point of information, it is possible to reverse the Github <- Apache mirroring most projects use to be Github -> Apache. What that means is that merging PRs from Github becomes one click in the Github UI. 

There are other consequences, of course, especially related to other integrations Commons may be using (e.g. integration between Github and JIRA).

Of course, INFRA are the folks to talk to if this sounds interesting. At Apache Jena, we looked into it but have taken no action because we still have some open questions about when some of our workflow integrations will become possible with "reversed mirroring".

Adam Soroka ; ajs6f@xxxxxxxxxx
To unsubscribe, e-mail: dev-unsubscribe@xxxxxxxxxxxxxxxxxx
For additional commands, e-mail: dev-help@xxxxxxxxxxxxxxxxxx