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 remaining markdown formatting issues in the entire repository #14840

Open
LKreutzer opened this issue Jan 16, 2023 · 0 comments
Open

Fix remaining markdown formatting issues in the entire repository #14840

LKreutzer opened this issue Jan 16, 2023 · 0 comments
Labels
component: docs Documentation-related issue good first issue Good for newcomers

Comments

@LKreutzer
Copy link
Contributor

  • Follow up to Apply linter autoformat to all documentation #14348
  • Run markdown linter with autoformatter on the entire magma repository.
  • The files that are relevant are mainly readme files outside of the docs folder.
  • Proposals and versioned docs should not be modified.
  • Either:
    • wait and upgrade to a newer version of the tool or
    • manually go through the remaining issues or
    • find some other way of fixing the remaining markdown errors.
@LKreutzer LKreutzer added the component: docs Documentation-related issue label Jan 16, 2023
@LKreutzer LKreutzer added the good first issue Good for newcomers label Feb 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
component: docs Documentation-related issue good first issue Good for newcomers
Projects
None yet
Development

No branches or pull requests

1 participant