Wikibot

Discord

Nice idea, that Wikibot! Do I understand correctly that it grabs all messages that contain a page name in double brackets, and adds them to the Wiki page with that name? (this message being as much a test as a question of course)

Konrad Hinsen#A request from the Discourse Modeling22-11-13 08:26:56

Thanks <@322545403876868096> ! Added to https://synthesis-infrastructures.wiki/Discourse_Modeling. I guess I could have used Wikibot for that, but it was easier to do it by hand than figuring out the intricacies of Wikibot.

Konrad Hinsen#off-topic22-11-13 10:36:54

Note to <@305044217393053697> about Wikibot: it doesn't pick up edits on messages that it has already added to the WIki. The version in the Wiki ends up being obsolete. Could be important when someone edits to add "not", for example. Discord users are used to having this possibility.