Skip to content

Chore: Add Linter documentation#3950

Merged
izeigerman merged 7 commits intomainfrom
vaggelisd/linter_docs
Mar 7, 2025
Merged

Chore: Add Linter documentation#3950
izeigerman merged 7 commits intomainfrom
vaggelisd/linter_docs

Conversation

@VaggelisD
Copy link
Contributor

Documentation of the linter project as it's being worked on here #3787

@VaggelisD VaggelisD marked this pull request as draft March 6, 2025 19:19
Copy link
Contributor

@sungchun12 sungchun12 left a comment

Choose a reason for hiding this comment

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

Overall good enough.

@VaggelisD VaggelisD force-pushed the vaggelisd/linter_docs branch from c33beaa to 2f6f8da Compare March 7, 2025 13:07
@VaggelisD VaggelisD marked this pull request as ready for review March 7, 2025 13:08
@VaggelisD VaggelisD requested a review from a team March 7, 2025 13:09
@VaggelisD VaggelisD force-pushed the vaggelisd/linter_docs branch from 1625451 to d9b2c46 Compare March 7, 2025 18:04
@treysp treysp force-pushed the vaggelisd/linter_docs branch from d9b2c46 to 3cad6f6 Compare March 7, 2025 20:16
Copy link
Contributor

@sungchun12 sungchun12 left a comment

Choose a reason for hiding this comment

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

amazing

@izeigerman izeigerman merged commit 65120fb into main Mar 7, 2025
22 checks passed
@izeigerman izeigerman deleted the vaggelisd/linter_docs branch March 7, 2025 21:40
afzaljasani pushed a commit that referenced this pull request Apr 8, 2025
Co-authored-by: Trey Spiller <1831878+treysp@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants