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

Change capitalization of Project Manager #6978

Merged
merged 2 commits into from
Mar 20, 2023

Conversation

JohnVeness
Copy link
Contributor

I have made the capitalization of Project Manager consistent throughout the documentation.

I hope this sort of blanket commit across the whole of docs is OK. If so, I will likely do similar PRs for "Asset Library" and others.

@mhilbrunner mhilbrunner merged commit da46470 into godotengine:master Mar 20, 2023
@mhilbrunner
Copy link
Member

mhilbrunner commented Mar 20, 2023

Thanks, merged!

I hope this sort of blanket commit across the whole of docs is OK. If so, I will likely do similar PRs for "Asset Library" and others.

Sure (as long as it doesn't touch the class reference; that needs to be edited in the main repo's XML files). Consistency is nice, if maybe not the most critical thing :) Thanks for contributing!
It may also make sense to investigate if we can add "Asset Library" and "Project Manager" to the spelling dict that is automatically checked on commits/PRs, and whether they have many false positives - could be a way to prevent these from cropping up again in the future.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants