The Wayback Machine - https://web.archive.org/web/20210726035204/https://github.com/topics/discord-bot
Skip to content
#

discord-bot

Here are 10,711 public repositories matching this topic...

Discord4J
Azn9
Azn9 commented Jul 22, 2021

To Reproduce: /
Expected Behavior: /
Actual Behavior: /

Version: v3.1.7

Other:
Full error :
`> [ WARN] (reactor-http-epoll-6) Error while decoding JSON (java.lang.IllegalArgumentException: Attempt to deserialize payload with unknown event type: GUILD_JOIN_REQUEST_DELETE): {"t":"GUILD_JOIN_REQUEST_DELETE","s":149,"op":0,"d":{"user_id":"745689321633349712","guild_id"

Xithrius
Xithrius commented Jul 2, 2021

Currently when the !server command is used, we get an embed like the one below. Since a stage channel has been added recently, the roles/channels listing is now uneven.

I suggest that we combine the project leads and domain leads role into a singular role called "leads", then place it somewhere within the left listing of roles.

![image](https://user-images.githubusercontent.com/15021300/12

JohnScience
JohnScience commented Aug 10, 2018

The most of Discord bots are expected to provide "mute" and "ban" commands. Their implementation involves juggling with parsing strings just to get so-much-desired duration.

Formats:

"3w 1d 11 [many spaces]h \t30m 20s 5ms"

Methods:

  • duration.toWeeks() -> float
  • duration.toDays() -> float
  • duration.toMinutes() -> float
  • duration.toSeconds() -> float
  • duration.toMilliseconds()

Improve this page

Add a description, image, and links to the discord-bot topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the discord-bot topic, visit your repo's landing page and select "manage topics."

Learn more