| 1 |
On Tue, Jul 3, 2018 at 1:39 PM William Hubbs <williamh@g.o> wrote: |
| 2 |
> |
| 3 |
> All, |
| 4 |
> |
| 5 |
> some of us have talked about this on IRC off and on, but I want to bring |
| 6 |
> it up here as well. |
| 7 |
> |
| 8 |
> I don't care that we have a wiki, but can we please look into killing |
| 9 |
> mediawiki and look at something with a git backend? It would be very |
| 10 |
> nice to be able to edit wiki pages in markdown or another similar format |
| 11 |
> and use git to control the changes instead of editing in a browser. |
| 12 |
|
| 13 |
I assume that your primary reason for wanting to replace mediawiki is |
| 14 |
to improve accessibility. I suggest you state that more clearly when |
| 15 |
making such a proposal. |
| 16 |
|
| 17 |
I read from jstein's email that he does not have the same knowledge of |
| 18 |
the situation that I have, and so his reply is expectedly different |
| 19 |
from mine. |
Archives