On Fri, Jul 11, 2014 at 11:34 AM, Matthew Flaschen mflaschen@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