Re: future of the mediawiki extension?

From: Antoine Beaupré <anarcat@debian.org>
Date: Oct 31, 2017, 02:10 UTC
Message-ID: <874lqg83u9.fsf@curie.anarc.at>
In-Reply-To: <xmqqh8ug3xnq.fsf@gitster.mtv.corp.google.com>

On 2017-10-31 10:37:29, Junio C Hamano wrote:

Show 7 quoted lines

>> There's also a hybrid solution used by git-multimail: have a copy of the
>> code in git.git, but do the development separately. I'm not sure it'd be
>> a good idea for Git-Mediawiki, but I'm mentionning it for completeness.
>
> I think the plan was to make code drop from time to time at major
> release points of git-multimail, but I do not think we've seen many
> updates recently.

I'd be okay with a hybrid as well. It would require minimal work on Git's side at this stage: things can just stay as is until there's a new "release" of the mediawiki extension and at that point you can decide if you merge it all in or if you drop it in favor of the contrib.

I think it's also fine to punt it completely out to the community.

Either way, I may have time to do some of that work in the coming month, so let me know what you prefer, I guess you two have the last word here. The community, on Mediawiki's side, seem to mostly favor GitHub.

A.

-- 
Never attribute to malice that which can be adequately explained by
stupidity, but don't rule out malice.
                         - Albert Einstein