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

Documentation Site #730

Merged
merged 13 commits into from
Jun 28, 2023
Merged

Documentation Site #730

merged 13 commits into from
Jun 28, 2023

Conversation

pjkaufman
Copy link
Collaborator

@pjkaufman pjkaufman commented May 24, 2023

Relates to #692
Relates to #581

The end goal of this change is to have a documentation site that holds information on how rules work, how to contribute to the Linter, and some other information on how to use the Linter. Right now I believe that the contributions and rules portions of the change is in place and ready. However the overview page is definitely lacking content.

Here are some screenshots of what the site looks like in it current state:

The disabling rules page:
image

The header rules documentation page:
image

Changes Made:
TODO:

…tables to make their values cleaner in the documentation site. Went ahead and filled out empty rule descriptions to get rid of weird looking generated example names. Added a base level layout for the site which still needs work.
…tables to make their values cleaner in the documentation site. Went ahead and filled out empty rule descriptions to get rid of weird looking generated example names. Added a base level layout for the site which still needs work.
…d to add more to it around how adding a rule works, how options work, etc.
…looks like, though there are still some pieces that are lacking.
…way that would work and added an icon for the docs
@pjkaufman
Copy link
Collaborator Author

Accidentally force pushed changes from an outdated version of the branch. Will need to undo that tomorrow.

@pjkaufman
Copy link
Collaborator Author

The branch should be back to the way it was. I will see about getting this merged this week. It likely will not go into full use until a week or so from getting merged.

@pjkaufman pjkaufman marked this pull request as ready for review June 28, 2023 00:52
@pjkaufman pjkaufman added the documentation Improvements or additions to documentation label Jun 28, 2023
@pjkaufman pjkaufman merged commit 3d1b279 into platers:master Jun 28, 2023
1 check passed
@pjkaufman pjkaufman deleted the documentation-site branch June 28, 2023 00:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant