Skip to content

Update references of main to gz-msgs12#528

Merged
caguero merged 1 commit into
gz-msgs12from
main_to_msgs12
Aug 22, 2025
Merged

Update references of main to gz-msgs12#528
caguero merged 1 commit into
gz-msgs12from
main_to_msgs12

Conversation

@caguero

@caguero caguero commented Aug 22, 2025

Copy link
Copy Markdown
Collaborator

Summary

Part of gazebosim/gz-jetty#25

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.)

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: Carlos Agüero <caguero@osrfoundation.org>
@github-project-automation github-project-automation Bot moved this from Inbox to In review in Core development Aug 22, 2025
@caguero caguero merged commit d525111 into gz-msgs12 Aug 22, 2025
10 checks passed
@caguero caguero deleted the main_to_msgs12 branch August 22, 2025 21:44
@github-project-automation github-project-automation Bot moved this from In review to Done in Core development Aug 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🪵 jetty Gazebo Jetty

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants