On Jun 7, 2012, at 6:50 PM, Mark A. Hershberger wrote:
On 06/07/2012 11:37 AM, Frank Ralf wrote:
Moving
the distribution of MediaWiki off of
mediawiki.org will just
fork the efforts in the long run, imho. I think we can accomplish the
goal of packaging without creating a new site.
Couldn't Git(Hub) do the job?
Sure, but there is no reason to move the work off of
gerrit.wikimedia.org. Following Chad's advice (and some discussion on
wikitech-l), I'm going to see about using a branch on Gerrit to do this
work of coordination.
Mark.
A branch in mediawiki-core? I'm not sure I follow.
-- Krinkle