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: 8 -> 9 #378

Merged
merged 2 commits into from
Sep 27, 2023
Merged

Merge: 8 -> 9 #378

merged 2 commits into from
Sep 27, 2023

Conversation

iche033
Copy link
Contributor

@iche033 iche033 commented Sep 26, 2023

➡️ Forward port

Port gz-fuel-tools8 to gz-fuel-tools9

Branch comparison: gz-fuel-tools9...gz-fuel-tools8

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

nkoenig and others added 2 commits September 22, 2023 13:09
* added script to update assets to gz

Signed-off-by: Nate Koenig <[email protected]>

* Updates

Signed-off-by: Nate Koenig <[email protected]>

* remove comment

Signed-off-by: Nate Koenig <[email protected]>

---------

Signed-off-by: Nate Koenig <[email protected]>
@iche033 iche033 requested a review from nkoenig as a code owner September 26, 2023 22:59
@github-actions github-actions bot added the 🎵 harmonic Gazebo Harmonic label Sep 26, 2023
@mjcarroll mjcarroll merged commit 6a406a4 into gz-fuel-tools9 Sep 27, 2023
5 checks passed
@mjcarroll mjcarroll deleted the merge_8_9_20230926 branch September 27, 2023 13:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🎵 harmonic Gazebo Harmonic
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

4 participants