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

Add sea-bass to moveit team #628

Merged
merged 1 commit into from
Nov 8, 2024
Merged

Conversation

sea-bass
Copy link
Contributor

@sea-bass sea-bass commented Oct 6, 2024

I was already on the picknik team, but not on the moveit one. I just found this out by trying to bloom srdfdom and having insufficient permissions.

I was already on the `picknik` team, but not on the `moveit` one. I just found this out by trying to bloom `srdfdom` and having insufficient permissions.
@sea-bass
Copy link
Contributor Author

sea-bass commented Oct 6, 2024

@JafarAbdi requesting review since you were looking at these srdfdom changes.

@nuclearsandwich nuclearsandwich merged commit 7c7c72f into ros2-gbp:latest Nov 8, 2024
1 check passed
@nuclearsandwich
Copy link
Collaborator

This change has been deployed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants