On Thu, Jul 05, 2018 at 11:08:10AM +0200, Nils Freydank wrote: > Am Dienstag, 3. Juli 2018, 19:39:43 CEST schrieb William Hubbs: > > 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? > What about https://github.com/Git-Mediawiki/Git-Mediawiki? > "Gate between Git and Mediawiki" sounds as it would be the right extension > while mediawiki can be kept.
I looked at this first, and it is very hard on the server. Every pull or clone you do to update things works like an initial clone, so it takes pretty massive resources. William
Description: Digital signature