10 Commits

Author	SHA1	Message	Date
Wim	0bc159341d	Update vendor (#932) ... * Update vendor * Fix godiscord api change	2019-10-27 01:45:57 +02:00
Qais Patankar	ba6759010b	Add UserTypingSupport (discord) (#914) ... * Add Discord to UserTypingSupport * discord: start typing in a channel on EventUserTyping receive * discord: emit EventUserTyping to gateway	2019-10-04 00:18:56 +02:00
Wim	0abf4d5d5d	Specify correct GuildID on unknown user query (discord). Fixes #879 (#894)	2019-09-15 20:25:42 +02:00
Qais Patankar	76c7b69e4e	Support bulk deletions (discord)	2019-06-16 16:07:48 +02:00
Wim	1829dc3d9f	Allow messages from other bots (discord). Fixes #816	2019-05-01 18:10:31 +02:00
Wim	af00c34aac	Do not relay any bot messages (discord) (#743)	2019-02-28 12:59:52 +01:00
Declan Hoare	a7dd033c3b	Allow sending discriminator with Discord username (#726)	2019-02-22 14:28:27 +01:00
Wim	0bcb0b882f	Support join/leaves from discord. Closes #654 (#721)	2019-02-17 21:49:45 +01:00
Wim	f72d5de2d7	Disable some unparam checks (discord)	2018-12-07 23:48:00 +01:00
Duco van Amstel	0365c0786a	Split Discord bridge in multiple files (#632)	2018-12-07 23:36:01 +01:00