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? It would be very
nice to be able to edit wiki pages in markdown or another similar format
and use git to control the changes instead of editing in a browser.



Attachment: signature.asc
Description: Digital signature

Reply via email to