Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Handle CHANNEL_CREATE, CHANNEL_UPDATE, CHANNEL_DELETE and CHANNEL_PINS_UPDATE #4

Open
jb3 opened this issue Sep 3, 2020 · 0 comments
Open

Handle CHANNEL_CREATE, CHANNEL_UPDATE, CHANNEL_DELETE and CHANNEL_PINS_UPDATE #4

jb3 opened this issue Sep 3, 2020 · 0 comments
Labels
area: gateway Issues and PRs relating to the Discord gateway enhancement New feature or request
Projects
Gateway

Comments

@jb3
Copy link
Owner

jb3 commented Sep 3, 2020

These events signify changes to guild channels.

This should probably(?) be tied into the guild cache and be stored in there, though there may be some use for a separate ETS table for channels.

Relevant documentation:
https://discord.com/developers/docs/topics/gateway#channel-create
@jb3 jb3 added area: gateway Issues and PRs relating to the Discord gateway enhancement New feature or request labels Sep 3, 2020
@jb3 jb3 added this to To do in Gateway Sep 3, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area: gateway Issues and PRs relating to the Discord gateway enhancement New feature or request
Projects
Gateway
  
To do
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jb3