* Re: [gentoo-dev] rfc: killing mediawiki
@ 2018-07-03 19:20 99% ` Jonas Stein
0 siblings, 0 replies; 1+ results
From: Jonas Stein @ 2018-07-03 19:20 UTC (permalink / raw
To: gentoo-dev
[-- Attachment #1.1: Type: text/plain, Size: 1035 bytes --]
> 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?
I think the wiki is very useful and should remain.
> 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.
I think it is more efficient to convert your yearly contributions to the
wiki [1] manually from markdown to mediawiki, instead to convert the
existent wiki pages to anything plus setup a new engine and configure
user accounts.
Btw: Would a conversion to another wiki mean that we get another long
footer on every wikipage "This page was edited by... do not remove..."?
For the special case of the Gentoo Manual:
I think the Gentoo Manual is better maintained in a git repository,
because it was initially written like a book and sometimes it is better
to make PRs for the manual.
[1] https://wiki.gentoo.org/wiki/Special:Contributions/WilliamH
--
Best,
Jonas
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 981 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 [gentoo-dev] rfc: killing mediawiki William Hubbs
2018-07-03 19:20 99% ` Jonas Stein
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox