Splitting off a devel wiki?

[Adrian Buehlmann]

On 04.11.2009 12:42, Martin Geisler wrote:
> Adrian Buehlmann <adrian at cadifra.com> writes:
> 
>> This is not to say that the devel pages aren't vital. They *are* vital
>> for the project. Having devel wiki pages is absolutely important.
>>
>> Just not in the main wiki.
> 
> I don't think we should move the pages to a new wiki since I don't think
> we have the manpower to look after two wikis.
> 

On a more general note, it is quite funny to learn that my
"wiki manpower" seems largely incompatible here.

But I understand that I seem to have rather strange views of
wikis in general compared to what the local community here
seems to have.

It may have to do with my history of editing other wikis. Dunno.

In any case, it would have been easy for me to look
after such a tiny little other micro wiki. I would have moved
the pages as well.

In fact, I find the "manpower" argument quite ridiculous. But whatever.

There are numerous other wikis out there. For example bitbucket
provides a separate wiki with each repo you create there (if you
activate it). And I haven't heard of many big problems of repos using
them. The spam level is quite low, and if a wiki starts getting
orphaned, it is usually easy to lock it down (remove write access).

(apologies for the second post, I'll shut up now)