future of the mediawiki extension?

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...