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

refactor drop down menu and some top-level article titles #3142

Merged
merged 2 commits into from
Oct 6, 2023

Conversation

janan07
Copy link
Collaborator

@janan07 janan07 commented Oct 6, 2023

This PR refactors the drop down menu and standardizes titles in top-level articles so they have consistent naming conventions.

@janan07 janan07 added the area: docs Documentation issue or issues that have documentation impact label Oct 6, 2023
@janan07 janan07 requested a review from anaxceron October 6, 2023 11:57
@github-actions
Copy link

github-actions bot commented Oct 6, 2023

@github-actions github-actions bot temporarily deployed to pull request October 6, 2023 12:34 Inactive
Copy link
Collaborator

@anaxceron anaxceron left a comment

Choose a reason for hiding this comment

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

Looks good!

Signed-off-by: Andrew Jandacek <[email protected]>
@github-actions github-actions bot temporarily deployed to pull request October 6, 2023 13:39 Inactive
@janan07 janan07 merged commit d2c2f8a into master Oct 6, 2023
2 of 3 checks passed
@janan07 janan07 deleted the janan07-refactor-dropdown-menu branch October 6, 2023 14:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area: docs Documentation issue or issues that have documentation impact
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants