Skip to content

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Oct 15, 2025

🦟 Bug fix

Summary

Fixes xml syntax error.

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.


This is an automatic backport of pull request #3111 done by [Mergify](https://mergify.com).

@mergify mergify bot requested a review from arjo129 as a code owner October 15, 2025 21:18
@github-actions github-actions bot added the 🪵 jetty Gazebo Jetty label Oct 15, 2025
@github-project-automation github-project-automation bot moved this from Inbox to In review in Core development Oct 15, 2025
@ahcorde ahcorde enabled auto-merge (squash) October 16, 2025 07:46
@iche033
Copy link
Contributor

iche033 commented Oct 17, 2025

@Mergifyio rebase

Copy link
Contributor Author

mergify bot commented Oct 17, 2025

rebase

❌ Unable to rebase: Mergify can't impersonate iche033

User iche033 used as bot_account is unknown. Please make sure {login} exists and has logged into the Mergify dashboard.

Signed-off-by: Ian Chen <ichen@openrobotics.org>
(cherry picked from commit bd66670)
@iche033 iche033 force-pushed the mergify/bp/gz-sim10/pr-3111 branch from fde094d to 00b1ced Compare October 17, 2025 17:23
@ahcorde ahcorde merged commit de6a195 into gz-sim10 Oct 17, 2025
13 of 14 checks passed
@ahcorde ahcorde deleted the mergify/bp/gz-sim10/pr-3111 branch October 17, 2025 19:21
@github-project-automation github-project-automation bot moved this from In review to Done in Core development Oct 17, 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.

3 participants