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

Capitalize acronyms and abbreviations #2101

Merged
merged 11 commits into from
Oct 6, 2023

Conversation

hpohekar
Copy link
Collaborator

@hpohekar hpohekar commented Oct 6, 2023

  • Capitalizing acronyms and abbreviations

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
for more information, see https://pre-commit.ci
@hpohekar hpohekar linked an issue Oct 6, 2023 that may be closed by this pull request
@mkundu1
Copy link
Contributor

mkundu1 commented Oct 6, 2023

Can we enforce this through vale?

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
This reverts commit 490ee96.
@hpohekar
Copy link
Collaborator Author

hpohekar commented Oct 6, 2023

Thanks for the suggestions. @mkundu1 and @raph-luc

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
RPC

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
ID.

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
hpohekar and others added 2 commits October 6, 2023 21:15

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
@seanpearsonuk
Copy link
Collaborator

It hadn't occurred to me about e.g. :) but your changes are good, thanks

@hpohekar hpohekar enabled auto-merge (squash) October 6, 2023 16:12
@hpohekar hpohekar merged commit fa820e0 into main Oct 6, 2023
@hpohekar hpohekar deleted the doc/capitalize_acronyms_abbreviations_latest branch October 6, 2023 17:06
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.

Capitalize documented acronyms and abbreviations
5 participants