On Fri, Jul 11, 2014 at 11:34 AM, Matthew Flaschen <mflaschen(a)wikimedia.org>
wrote:
On 04/18/2014 04:21 AM, Ori Livneh wrote:
Is there a way to accept pull-requests from
GitHub?
I don't think we can merge directly there. The canonical repo is
git.wikimedia.org, and I think merging in GitHub would create an
inconsistent state.
The canonical repo source is
gerrit.wikimedia.org.
git.wikimedia.org is a mirror.
But otherwise yes, you're right.
-Chad