Skip to content

Conversation

hjgraca
Copy link
Contributor

@hjgraca hjgraca commented Oct 7, 2025

Issue number: closes #7487

Summary

Changes

Update discord badge url

Discord

User experience

image

Please share what the user experience looks like before and after this change


By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

Disclaimer: We value your time and bandwidth. As such, any pull requests created on non-triaged issues might not be successful.

Signed-off-by: Henrique Graca <999396+hjgraca@users.noreply.github.com>
@hjgraca hjgraca requested a review from a team as a code owner October 7, 2025 11:33
@pull-request-size pull-request-size bot added the size/XS Denotes a PR that changes 0-9 lines, ignoring generated files. label Oct 7, 2025
@github-actions github-actions bot added internal Maintenance changes labels Oct 7, 2025
Copy link

sonarqubecloud bot commented Oct 8, 2025

Copy link
Contributor

@leandrodamascena leandrodamascena left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @hjgraca!

@leandrodamascena leandrodamascena merged commit 333c229 into develop Oct 8, 2025
7 checks passed
@leandrodamascena leandrodamascena deleted the chore/fix-discord-badge branch October 8, 2025 08:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
internal Maintenance changes size/XS Denotes a PR that changes 0-9 lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Maintenance: Update discord badge
2 participants