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

Fix various typos #1926

Merged
merged 2 commits into from
May 15, 2024
Merged

Fix various typos #1926

merged 2 commits into from
May 15, 2024

Conversation

cschindlbeck
Copy link
Contributor

Description

This PR fixes various typos across the repo

Motivation and Context

For obvious reasons, we should have proper spelling

Types of changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)
  • Documentation (update in the documentation)

@cschindlbeck cschindlbeck force-pushed the chore/fix-typos branch 2 times, most recently from 78d2c5e to 12820a9 Compare May 15, 2024 07:13
Copy link
Member

@araffin araffin left a comment

Choose a reason for hiding this comment

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

Thanks for the PR =)
Please update the changelog and we are good to go ;)

PS: did you use any special tool?

@cschindlbeck
Copy link
Contributor Author

Thanks for the PR =) Please update the changelog and we are good to go ;)

I just updated docs/misc/changelog.rst, any specific you want to have here?

PS: did you use any special tool?

Yes, i will provide this in another PR :)

@araffin araffin merged commit 4317c62 into DLR-RM:master May 15, 2024
4 checks passed
friedeggs pushed a commit to friedeggs/stable-baselines3 that referenced this pull request Jul 22, 2024
* Fix various typos

* Update changelog

---------

Co-authored-by: Antonin Raffin <[email protected]>
@cschindlbeck cschindlbeck deleted the chore/fix-typos branch July 29, 2024 08:56
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.

2 participants