Skip to content

Conversation

deining
Copy link
Contributor

@deining deining commented Jun 12, 2023

This PR follows up on #1129 and #770. As proposed there, all mixed-case directory names are renamed and all spaces are removed from file and folder names inside the folder userguide/content/en/docs.

This PR closes #770.

@deining deining added user guide Improvements to user guide cleanup/refactoring labels Jun 12, 2023
@deining deining requested a review from chalin June 12, 2023 19:55
Copy link
Contributor

@chalin chalin left a comment

Choose a reason for hiding this comment

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

Wonderful cleanup! Thanks ✨

@chalin chalin merged commit 5d45be0 into google:main Jun 16, 2023
@deining deining deleted the issue-770 branch June 16, 2023 20:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cleanup/refactoring user guide Improvements to user guide
Projects
None yet
Development

Successfully merging this pull request may close these issues.

userguide/content/en/docs: rename mixed-case directory names and names containing spaces
2 participants