| 1 |
Am Dienstag, 3. Juli 2018, 19:39:43 CEST schrieb William Hubbs: |
| 2 |
> All, |
| 3 |
> |
| 4 |
> some of us have talked about this on IRC off and on, but I want to bring |
| 5 |
> it up here as well. |
| 6 |
> |
| 7 |
> I don't care that we have a wiki, but can we please look into killing |
| 8 |
> mediawiki and look at something with a git backend? |
| 9 |
What about https://github.com/Git-Mediawiki/Git-Mediawiki? |
| 10 |
"Gate between Git and Mediawiki" sounds as it would be the right extension |
| 11 |
while mediawiki can be kept. |
| 12 |
|
| 13 |
Best Regards |
| 14 |
Nils Freydank |
Archives