-
Notifications
You must be signed in to change notification settings - Fork 3
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
chore: evaluate and port Conrado's PR #9
Comments
This was referenced Mar 21, 2025
1 task
ChangesRemoved
Added
Updated
|
Notes
TranslationsIs possible to make two types of translations in Docusaurus:
|
1 task
1 task
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Problem
Conrado's PR magma/magma#15604 propose updates for the docussaurus and other improvements on documentation.
It brings too many changes that is difficult to evaluate.
Solution
Evaluate and separate into different PRs, each with a clear and single purpose to ease evaluation and approval.
Non-goals
Other changes outside of Conrado's proposal.
The text was updated successfully, but these errors were encountered: