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

Fix german leaderboard translation #3674

Merged
merged 2 commits into from
Aug 29, 2023
Merged

Fix german leaderboard translation #3674

merged 2 commits into from
Aug 29, 2023

Conversation

andreaskoepf
Copy link
Collaborator

  • fix order to match leaderboard.json of other locales
  • fix template: {{Bedarf, Zahl, Ganzzahl}} -> {{level,number,integer}}

@github-actions
Copy link

❌ pre-commit failed.
Please run pre-commit run --all-files locally and commit the changes.
Find more information in the repository's CONTRIBUTING.md

AbdBarho
AbdBarho approved these changes Aug 29, 2023
View reviewed changes
Copy link
Collaborator

@AbdBarho AbdBarho left a comment

Choose a reason for hiding this comment

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

Danke!

@andreaskoepf andreaskoepf merged commit fd9ecfa into main Aug 29, 2023
4 checks passed
@andreaskoepf andreaskoepf deleted the fix_de_translation branch August 29, 2023 17:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@AbdBarho AbdBarho AbdBarho approved these changes

@notmd notmd Awaiting requested review from notmd notmd is a code owner

@yk yk Awaiting requested review from yk yk is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@andreaskoepf @AbdBarho