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.

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

fix(discord): Catch case where response from Discord takes a while #57522

Merged
merged 6 commits into from
Oct 5, 2023

Conversation

17hogeju
Copy link
Contributor

@17hogeju 17hogeju commented Oct 4, 2023

Closes #57521

@github-actions github-actions bot added the Scope: Backend Automatically applied to PRs that change backend components label Oct 4, 2023
@17hogeju 17hogeju marked this pull request as ready for review October 4, 2023 23:15
@17hogeju 17hogeju requested a review from a team as a code owner October 4, 2023 23:15
@17hogeju 17hogeju self-assigned this Oct 4, 2023
@17hogeju 17hogeju added this to the Discord Integration milestone Oct 4, 2023
@17hogeju 17hogeju requested review from scttcper and ceorourke and removed request for a team October 4, 2023 23:25
@17hogeju 17hogeju merged commit 67bab6b into master Oct 5, 2023
49 checks passed
@17hogeju 17hogeju deleted the julia/discord-timeout-fix branch October 5, 2023 19:19
@github-actions github-actions bot locked and limited conversation to collaborators Oct 21, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Scope: Backend Automatically applied to PRs that change backend components
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Discord alert triggered but notification not received
2 participants