982
edits
Discord Messages: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 617: | Line 617: | ||
|Text=Just added a "proposal" tag to our discussion. In scientific discourse, that would be a category used in opinion papers etc. Is this already part of the [[Discourse Graph]] repertory? | |Text=Just added a "proposal" tag to our discussion. In scientific discourse, that would be a category used in opinion papers etc. Is this already part of the [[Discourse Graph]] repertory? | ||
|Link=https://discord.com/channels/1029514961782849607/1038988750677606432/1041297868809584680 | |Link=https://discord.com/channels/1029514961782849607/1038988750677606432/1041297868809584680 | ||
}}{{Message | |||
|Author=Konrad Hinsen | |||
|Avatar=https://cdn.discordapp.com/avatars/499904513038090240/343ae17c322fa09b3260f95e58bc4f29.png?size=1024 | |||
|Date Sent=22-11-13 10:36:54 | |||
|Channel=off-topic | |||
|Text=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. | |||
|Link=https://discord.com/channels/1029514961782849607/1035691728356790322/1041300620109426699 | |||
}} | }} | ||