Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Add xacro extension #423

Merged
merged 1 commit into from
Oct 28, 2023
Merged

Add xacro extension #423

merged 1 commit into from
Oct 28, 2023

Conversation

DLu
Copy link
Contributor

@DLu DLu commented Oct 24, 2023

I was honestly surprised that urdf was already supported, but I'm taking it further and adding xacro

asottile
asottile approved these changes Oct 28, 2023
View reviewed changes
Copy link
Member

@asottile asottile left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@asottile asottile merged commit 4040735 into pre-commit:main Oct 28, 2023
4 checks passed
@DLu DLu deleted the add_xacro branch November 7, 2023 02:22
@DLu DLu restored the add_xacro branch November 7, 2023 02:22
@DLu DLu deleted the add_xacro branch November 7, 2023 02:22
@DLu
Copy link
Contributor Author

DLu commented Jul 2, 2024

I blame myself for this
Screenshot 2024-07-01 at 22-33-23 pre-commit ci

# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@asottile asottile asottile approved these changes

Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@DLu @asottile