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.

Sign up for GitHub

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

Jump to bottom

docs: fix typos across files #664

Merged
merged 2 commits into from
Mar 20, 2025
Merged

docs: fix typos across files #664

merged 2 commits into from
Mar 20, 2025

Conversation

anshium
Copy link
Contributor

@anshium anshium commented Mar 20, 2025

🦟 Bug fix

Fixes #663

Summary

Fixes several typos across files in the repository.

Checklist

  • Signed all commits for DCO
  • Added tests
  • Updated documentation (as needed)
  • Updated migration guide (as needed)
  • Consider updating Python bindings (if the library has them)
  • codecheck passed (See contributing)
  • All tests passed (See test coverage)
  • While waiting for a review on your PR, please help review another open pull request to support the maintainers

@anshium anshium requested a review from jennuine as a code owner March 20, 2025 13:20
@github-actions github-actions bot added the 🪵 jetty Gazebo Jetty label Mar 20, 2025
@github-project-automation github-project-automation bot moved this from Inbox to In review in Core development Mar 20, 2025
@ahcorde ahcorde enabled auto-merge March 20, 2025 14:42
@ahcorde ahcorde merged commit 8c42601 into gazebosim:main Mar 20, 2025
9 of 10 checks passed
@github-project-automation github-project-automation bot moved this from In review to Done in Core development Mar 20, 2025
@ahcorde
Copy link
Contributor

ahcorde commented Mar 20, 2025

https://github.com/Mergifyio backport gz-gui9

@mergify Mergify
Copy link

mergify bot commented Mar 20, 2025 •
edited
Loading

backport gz-gui9

✅ Backports have been created

@mergify mergify bot mentioned this pull request Mar 20, 2025
Merged
8 tasks
ahcorde added a commit that referenced this pull request Mar 20, 2025
@ahcorde
Merge pull request #665 from gazebosim/mergify/bp/gz-gui9/pr-664
d51dea3 
docs: fix typos across files (backport #664)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ahcorde ahcorde ahcorde approved these changes

@jennuine jennuine Awaiting requested review from jennuine jennuine is a code owner

Assignees
No one assigned
Labels
🪵 jetty Gazebo Jetty
Projects
Core development
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@anshium @ahcorde