Am Dienstag, 3. Juli 2018, 19:39:43 CEST schrieb William Hubbs: > All, > > some of us have talked about this on IRC off and on, but I want to bring > it up here as well. > > I don't care that we have a wiki, but can we please look into killing > mediawiki and look at something with a git backend? What about https://github.com/Git-Mediawiki/Git-Mediawiki? "Gate between Git and Mediawiki" sounds as it would be the right extension while mediawiki can be kept.
Best Regards Nils Freydank
Description: This is a digitally signed message part.