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

Implement joint retargeting #41

Merged
merged 59 commits into from
May 13, 2020
Merged

Conversation

GiulioRomualdi
Copy link
Member

No description provided.

@GiulioRomualdi GiulioRomualdi self-assigned this Sep 26, 2019
@GiulioRomualdi GiulioRomualdi force-pushed the feature/joint_retargeting branch from 09382b3 to a8240c4 Compare October 7, 2019 12:57
@GiulioRomualdi GiulioRomualdi force-pushed the feature/joint_retargeting branch from 5bd420f to d7a2a3d Compare October 28, 2019 10:38
@S-Dafarra S-Dafarra self-requested a review October 29, 2019 09:50
@GiulioRomualdi GiulioRomualdi force-pushed the feature/joint_retargeting branch 2 times, most recently from 676e8ef to 498a344 Compare November 12, 2019 09:50
@GiulioRomualdi GiulioRomualdi force-pushed the feature/joint_retargeting branch from d1914f6 to 3298ca5 Compare November 13, 2019 18:32
@GiulioRomualdi GiulioRomualdi force-pushed the feature/joint_retargeting branch from 3298ca5 to d957a2f Compare November 13, 2019 18:55
@S-Dafarra
Copy link
Collaborator

S-Dafarra commented May 4, 2020

By looking at the files, I noticed there were still some old comments (this is the meaning of "Friendly ping"). Probably some of them have been solved already. Feel free to resolve those you think do not apply anymore.

@GiulioRomualdi
Copy link
Member Author

@S-Dafarra, I think I addressed all your comments.

Copy link
Collaborator

@S-Dafarra S-Dafarra left a comment

Choose a reason for hiding this comment

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

Great job!

@GiulioRomualdi
Copy link
Member Author

I'm going to merge the PR.
The latest commit tested on the robot is 169988c. In case of problems we can switch back to that commit

@GiulioRomualdi GiulioRomualdi merged commit 2d0a4a5 into devel May 13, 2020
@GiulioRomualdi GiulioRomualdi deleted the feature/joint_retargeting branch December 11, 2020 10:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants