Skip to content

Comments

[jsk_spot_robot] remove unnecessary repos#120

Merged
k-okada merged 1 commit intok-okada:spot_armfrom
mqcmd196:PR/remove-unnecessary-repos
Apr 30, 2025
Merged

[jsk_spot_robot] remove unnecessary repos#120
k-okada merged 1 commit intok-okada:spot_armfrom
mqcmd196:PR/remove-unnecessary-repos

Conversation

@mqcmd196
Copy link

(rewrited version of #114)

Some repos in jsk_spot_user.rosinstall have been released. This PR removes them.

@github-actions github-actions bot added the spot label Apr 29, 2025
@k-okada k-okada merged commit 6c94451 into k-okada:spot_arm Apr 30, 2025
3 of 8 checks passed
@mqcmd196 mqcmd196 deleted the PR/remove-unnecessary-repos branch April 30, 2025 01:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants