Skip to content

ign -> gz Provisional Finale: Source Migration : gz-tools#99

Merged
chapulina merged 1 commit intomainfrom
ci_matching_branch/finale
Jul 14, 2022
Merged

ign -> gz Provisional Finale: Source Migration : gz-tools#99
chapulina merged 1 commit intomainfrom
ci_matching_branch/finale

Conversation

@methylDragon
Copy link
Contributor

Signed-off-by: methylDragon <methylDragon@gmail.com>
@methylDragon methylDragon requested a review from caguero as a code owner July 14, 2022 01:43
@github-actions github-actions bot added the 🌱 garden Ignition Garden label Jul 14, 2022
@chapulina chapulina added the ign to gz Renaming Ignition to Gazebo. label Jul 14, 2022
@chapulina chapulina merged commit 8486956 into main Jul 14, 2022
@chapulina chapulina deleted the ci_matching_branch/finale branch July 14, 2022 18:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🌱 garden Ignition Garden ign to gz Renaming Ignition to Gazebo.

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants