| 1 |
On Tue, 3 Jul 2018 12:39:43 -0500 |
| 2 |
William Hubbs <williamh@g.o> wrote: |
| 3 |
|
| 4 |
> I don't care that we have a wiki, but can we please look into killing |
| 5 |
> mediawiki and look at something with a git backend? It would be very |
| 6 |
> nice to be able to edit wiki pages in markdown or another similar format |
| 7 |
> and use git to control the changes instead of editing in a browser. |
| 8 |
|
| 9 |
1. Who are the primary beneficiaries of this suggestion?: |
| 10 |
|
| 11 |
a. People with expert knowledge of development systems and people |
| 12 |
with Gentoo Privileges |
| 13 |
|
| 14 |
b. End users who may not be experts, in all things development, but |
| 15 |
may be able to contribute and consume content. |
| 16 |
|
| 17 |
2. What compromises in flexibility does this create? Eg: Do suggested |
| 18 |
replacements have capacity to have arbitrary HTML and templating? Or |
| 19 |
are they restricted to the terribly narrow featureset of Markdown? |
| 20 |
|
| 21 |
|
| 22 |
If you're optimising for 1-a and your choice of compromise results in a |
| 23 |
reduction in functionality with regards to clear, flexible, and |
| 24 |
expressive content, it will be hard to sell me on the idea. |
Archives