Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge 13 -> main #513

Merged
merged 10 commits into from
Aug 2, 2024
Merged

Merge 13 -> main #513

merged 10 commits into from
Aug 2, 2024

Conversation

caguero
Copy link
Collaborator

@caguero caguero commented Aug 2, 2024

➡️ Forward port

Port gz-transport13 to main

Branch comparison: main...gz-transport13

Note to maintainers: Remember to Merge with commit (not squash-merge or rebase)

azeey and others added 8 commits April 23, 2024 11:16
Signed-off-by: Addisu Z. Taddese <[email protected]>
Adds a new option to ignore local messages (when publisher and subscriber share the same node).

---------

Signed-off-by: Carlos Agüero <[email protected]>
Signed-off-by: Carlos Agüero <[email protected]>
Co-authored-by: Addisu Z. Taddese <[email protected]>
Signed-off-by: Carlos Agüero <[email protected]>
Signed-off-by: Benjamin Perseghetti <[email protected]>
Co-authored-by: Alejandro Hernández Cordero <[email protected]>
Co-authored-by: Addisu Z. Taddese <[email protected]>
Signed-off-by: Benjamin Perseghetti <[email protected]>
Signed-off-by: Carlos Agüero <[email protected]>
@github-actions github-actions bot added the 🎵 harmonic Gazebo Harmonic label Aug 2, 2024
Signed-off-by: Carlos Agüero <[email protected]>
Signed-off-by: Carlos Agüero <[email protected]>
@caguero caguero changed the base branch from gz-transport13 to main August 2, 2024 19:30
@azeey azeey added 🏛️ ionic Gazebo Ionic and removed 🎵 harmonic Gazebo Harmonic labels Aug 2, 2024
@caguero caguero changed the title Merge 13 ->14 Merge 13 -> main Aug 2, 2024
@caguero caguero merged commit b04b948 into main Aug 2, 2024
10 of 11 checks passed
@caguero caguero deleted the merge_13_14_20240802 branch August 2, 2024 20:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🏛️ ionic Gazebo Ionic
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

4 participants