On 2017-10-31 10:37:29, Junio C Hamano wrote: >> 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