future of the mediawiki extension?

["Antoine Beaupré" <anarcat@debian.org>]

Hi,

First thanks for the excellent feedback regarding the mediawiki
extension, it's great that obscure extensions like this see such
excellent reviews.

I think, however, it would be good to have a discussion about the future
of that extension in Git. The extension has a bit of a hybrid presence -
it is partly in git core (as a contrib, but still) and partly on GitHub
here:

https://github.com/Git-Mediawiki/Git-Mediawiki/

This leads to some confusion as to where the changes should be
made. Some people make changes straight on GitHub by forking the above
repo, others fork the Git repo, and very few actually send the patches
here, on this mailing list.

There was a discussion last year about moving the module out of git core
and onto its own repository again:

https://github.com/Git-Mediawiki/Git-Mediawiki/issues/34

There is also a discussion on releasing the code to CPAN:

https://github.com/Git-Mediawiki/Git-Mediawiki/issues/18

It should also be mentioned that this contrib isn't very active: I'm not
part of the GitHub organization, yet I'm probably the one that's been
the most active with patches in the last year (and I wasn't very active
at all). There's an issue on GitHub about this as well:

https://github.com/Git-Mediawiki/Git-Mediawiki/issues/33

So, what should be done about this contrib? Should it stay in Git core?
Or should it be punted back to the community and managed on GitHub?

Please avoid "mailing list vs GitHub" flamewars and keep to the topic of
this specific contrib's future. :)

Thanks!

A.

PS: personally, I don't care much either way. It certainly seem that I
get way better feedback here than I previously got on GitHub, but that
could be because of the hybrid way things are setup in the first
place...
-- 
To punish me for my contempt for authority, fate made me an authority myself.
                       - Albert Einstein