Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Oct 12, 2025

Description

I missed this change in #5872.

Before:

Screenshot from 2025-10-11 15-30-01

After:

Screenshot from 2025-10-11 15-30-19

Did you use Generative AI?

Additional Information


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

Signed-off-by: Christophe Bedard <[email protected]>
(cherry picked from commit 04ce78d)
@github-actions
Copy link

HTML artifacts: https://github.com/ros2/ros2_documentation/actions/runs/18438232533/artifacts/4246696838.

To view the resulting site:

  1. Click on the above link to download the artifacts archive
  2. Extract it
  3. Open html-artifacts-5936/index.html in your favorite browser

@fujitatomoya fujitatomoya merged commit 004617f into jazzy Oct 12, 2025
5 checks passed
@fujitatomoya fujitatomoya deleted the mergify/bp/jazzy/pr-5933 branch October 12, 2025 03:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants