[ES] Update `Community/Discord servers` #13889

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

Open

UnknownOsu wants to merge 3 commits into ppy:master from UnknownOsu:ES-Discord_servers

Contributor

UnknownOsu commented Oct 29, 2025 •

edited

Loading

Self-check

The changes are tested against the contribution checklist
(translations only) The changes are reviewed on GitHub by a fluent speaker


          [ES] Update Community/Discord_servers

1dcd760

pull-request-size bot added the size/S label

github-actions bot added the area:translations label

UnknownOsu added 2 commits

October 29, 2025 10:28


          CI Fix

3fff377


          CI Fix, again

11ec74b

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:translations size/S