Skip to content

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented May 28, 2025

Splitting the work created from @mjcarroll in #502. This is smaller to make sure it's correct. I'll make the next PRs a bit bigger.

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

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


This is an automatic backport of pull request #637 done by Mergify.

Signed-off-by: Carlos Agüero <caguero@osrfoundation.org>
(cherry picked from commit 6f371d3)
@mergify mergify bot requested a review from caguero as a code owner May 28, 2025 07:28
@mergify mergify bot mentioned this pull request May 28, 2025
8 tasks
@github-actions github-actions bot added the 🎵 harmonic Gazebo Harmonic label May 28, 2025
@github-project-automation github-project-automation bot moved this from Inbox to In review in Core development May 28, 2025
@caguero caguero merged commit b96134d into gz-transport13 May 28, 2025
10 checks passed
@caguero caguero deleted the mergify/bp/gz-transport13/pr-637 branch May 28, 2025 13:11
@github-project-automation github-project-automation bot moved this from In review to Done in Core development May 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🎵 harmonic Gazebo Harmonic

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant