> On Fri, 6 Jul 2018, Kent Fredric wrote:
> On Thu, 5 Jul 2018 12:32:20 -0500
> William Hubbs wrote:
>> 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.
> Surely,
On Fri, Jul 06, 2018 at 12:34:33PM +1200, Kent Fredric wrote:
> On Thu, 5 Jul 2018 12:32:20 -0500
> William Hubbs wrote:
>
> > 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
On Thu, 5 Jul 2018 12:32:20 -0500
William Hubbs wrote:
> 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.
Surely, then the recommended approach involves:
1. Selecting
On Thu, 5 Jul 2018 12:44:42 -0500
William Hubbs wrote:
> Have you even looked at gollum for example? it can support mw markdown.
I've looked at it, but none of my reading of online material indicates
whether it supports more than the existing media-wiki *syntax*.
For instance, Gollum states
On Thu, Jul 05, 2018 at 01:26:51PM +1200, Kent Fredric wrote:
> On Wed, 4 Jul 2018 12:44:11 -0500
> William Hubbs wrote:
>
> > Yes I would benefit from this change, but it is not a case of optimizing
> > for one. It is a case of opening up the use of the wiki to the largest
> > audiance
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
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
On Wed, 4 Jul 2018 12:44:11 -0500
William Hubbs wrote:
> Yes I would benefit from this change, but it is not a case of optimizing
> for one. It is a case of opening up the use of the wiki to the largest
> audiance possible. This is just good universal design.
Unfortunately, my experience with
>> 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? It would be very
>> nice to be able to edit wiki pages in markdown
On Tue, Jul 03, 2018 at 10:31:20PM -0400, Matt Turner wrote:
> On Tue, Jul 3, 2018 at 1:39 PM William Hubbs wrote:
> >
> > 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
On Wed, Jul 04, 2018 at 07:21:53PM +1200, Kent Fredric wrote:
> On Tue, 3 Jul 2018 12:39:43 -0500
> William Hubbs wrote:
>
> > 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? It would be very
> > nice to be able to
On Wed, 4 Jul 2018 19:21:53 +1200
Kent Fredric wrote:
> On Tue, 3 Jul 2018 12:39:43 -0500
> William Hubbs wrote:
>
> > 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? It
> > would be very nice to be able to edit wiki
On Tue, 3 Jul 2018 12:39:43 -0500
William Hubbs wrote:
> 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? It would be very
> nice to be able to edit wiki pages in markdown or another similar format
> and use git to
On Tue, Jul 3, 2018 at 1:39 PM William Hubbs wrote:
>
> 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? It would
On Tue, Jul 03, 2018 at 09:09:16PM +0100, M. J. Everitt wrote:
> On 03/07/18 21:01, William Hubbs wrote:
> > On Tue, Jul 03, 2018 at 09:20:53PM +0200, Jonas Stein wrote:
> >>> I don't care that we have a wiki, but can we please look into killing
> >>> mediawiki and look at something with a git
On 03/07/18 21:01, William Hubbs wrote:
> On Tue, Jul 03, 2018 at 09:20:53PM +0200, Jonas Stein wrote:
>>> 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.
> Like I
On Tue, Jul 03, 2018 at 09:20:53PM +0200, Jonas Stein wrote:
> > 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.
Like I said, there are wiki packages out there
> 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
On Tue, Jul 03, 2018 at 01:47:19PM -0400, Brian Evans wrote:
> On 7/3/2018 1:39 PM, William Hubbs wrote:
> > 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
On 7/3/2018 1:39 PM, William Hubbs wrote:
> 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? It would be very
>
20 matches
Mail list logo