Skip to content

Discord with WebSockets#486

Merged
themarolt merged 14 commits into
mainfrom
enhancement/discord-websockets-C-302
Feb 14, 2023
Merged

Discord with WebSockets#486
themarolt merged 14 commits into
mainfrom
enhancement/discord-websockets-C-302

Conversation

@themarolt
Copy link
Copy Markdown
Contributor

@themarolt themarolt commented Feb 6, 2023

Changes proposed ✍️

  • new service discord-ws that listens to discord websocket gateway for new members and messages
  • refactor of github webhooks so that together with discord websocket events are handled within the existing integration processor under a new process - processWebhook.

Checklist ✅

  • Label appropriately with Feature, Enhancement, or Bug.
  • Tests are passing.
  • New backend functionality has been unit-tested.
  • Environment variables have been updated:
    • Local frontend configuration: frontend/.env.dist.local, frontend/.env.dist.composed.
    • Local backend: backend/.env.dist.local, backend/.env.dist.composed.
    • Configuration docs have been updated.
    • Team members only: update environment variables in override, staging and production env. files and trigger update config script.
  • API documentation has been updated (if necessary) (see docs on API documentation).
  • Quality standards are met.
  • All changes have been tested in a staging site.
  • All changes are working locally running crowd.dev's Docker local environment.

Uroš Marolt added 4 commits February 6, 2023 13:51
…moved github webhooks to the new framework.

working discord gateway listener

Moved github webhooks to the new webhook processing
@themarolt themarolt marked this pull request as ready for review February 7, 2023 13:34
@joanreyero joanreyero self-requested a review February 7, 2023 14:01
@themarolt themarolt merged commit c31a479 into main Feb 14, 2023
@themarolt themarolt deleted the enhancement/discord-websockets-C-302 branch February 14, 2023 06:46
joanagmaia pushed a commit that referenced this pull request Feb 20, 2023
Co-authored-by: Gasper Grom <gasper.grom@gmail.com>
joanreyero pushed a commit that referenced this pull request Apr 29, 2023
Co-authored-by: Gasper Grom <gasper.grom@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants