public inbox for gentoo-dev@lists.gentoo.org
 help / color / mirror / Atom feed
Search results ordered by [date|relevance]  view[summary|nested|Atom feed]
thread overview below | download: 
* [gentoo-dev] rfc: killing mediawiki
@ 2018-07-03 17:39 99% William Hubbs
  0 siblings, 0 replies; 1+ results
From: William Hubbs @ 2018-07-03 17:39 UTC (permalink / raw
  To: gentoo development

[-- Attachment #1: Type: text/plain, Size: 399 bytes --]

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

Thanks,

William


[-- Attachment #2: Digital signature --]
[-- Type: application/pgp-signature, Size: 195 bytes --]

^ permalink raw reply	[relevance 99%]

Results 1-1 of 1 | reverse | options above
-- pct% links below jump to the message on this page, permalinks otherwise --
2018-07-03 17:39 99% [gentoo-dev] rfc: killing mediawiki William Hubbs

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox