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

[Improve] improve doc check #2572

Merged
merged 19 commits into from
Aug 21, 2024
Merged

Conversation

zhangshenghang
Copy link
Member

@zhangshenghang zhangshenghang commented Aug 20, 2024

What's changed?

#2574
Markdown file checking tool is replaced by markdownlint

@tomsun28 Some documents have been optimized, and some rules have been temporarily closed. We need to raise an issue and work together to complete it.

I will raise an issue later and seek your help.

Checklist

@github-actions github-actions bot added doc Improvements or additions to documentation infra labels Aug 20, 2024
@github-actions github-actions bot removed the home label Aug 21, 2024
Copy link
Contributor

@tomsun28 tomsun28 left a comment

Choose a reason for hiding this comment

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

lgtm!👍👍

@tomsun28 tomsun28 merged commit c2d92eb into apache:master Aug 21, 2024
3 checks passed
@zhangshenghang zhangshenghang deleted the improve-doc-check branch September 3, 2024 23:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
doc Improvements or additions to documentation good first pull request Good for newcomers infra
Projects
Development

Successfully merging this pull request may close these issues.

4 participants