Skip to content

Conversation

iche033
Copy link
Contributor

@iche033 iche033 commented Jul 12, 2025

🦟 Bug fix

Summary

Fixes incorrect link in migration guide

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
  • Was GenAI used to generate this PR? If so, make sure to add "Generated-by" to your commits. (See this policy for more info.)

Generated-by: Remove this if GenAI was not used.

Note to maintainers: Remember to use Squash-Merge and edit the commit message to match the pull request summary while retaining Signed-off-by and Generated-by messages.

Signed-off-by: Ian Chen <ichen@openrobotics.org>
@iche033 iche033 requested a review from jennuine as a code owner July 12, 2025 01:24
@github-actions github-actions bot added the 🪵 jetty Gazebo Jetty label Jul 12, 2025
@github-project-automation github-project-automation bot moved this from Inbox to In review in Core development Jul 14, 2025
@ahcorde ahcorde merged commit 6e57295 into main Jul 14, 2025
9 of 10 checks passed
@ahcorde ahcorde deleted the iche033/migration_link branch July 14, 2025 07:45
@github-project-automation github-project-automation bot moved this from In review to Done in Core development Jul 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🪵 jetty Gazebo Jetty
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants