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

Draft: Revise the endpoint for creating log entries #106

Draft
wants to merge 11 commits into
base: master
Choose a base branch
from

Conversation

woswos
Copy link
Member

@woswos woswos commented May 10, 2022

No description provided.

@woswos woswos requested a review from ziyan May 10, 2022 09:15
@rdiankov
Copy link
Member

@woswos is there a change in mujin code for this?

@woswos
Copy link
Member Author

woswos commented May 12, 2022

@rdiankov Yes, but there are many other changes that accompany this change. They need to be merged together.

@ziyan ziyan changed the title Revise the endpoint for creating log entries Draft: Revise the endpoint for creating log entries Oct 26, 2022
@ziyan ziyan marked this pull request as draft October 26, 2022 01:21
felixvd pushed a commit that referenced this pull request Mar 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants