Skip to content

Conversation

@thomaskroi1996
Copy link
Contributor

As discussed in #341. Not sure what the description should be, so i left it blank for now. Maybe just "Namespace for robot." ?

Thanks!

mhubii and others added 30 commits November 18, 2025 11:48
(cherry picked from commit 35dd8cc)
(cherry picked from commit 0140ac1)
(cherry picked from commit 521be77)
(cherry picked from commit e1c10c3)
(cherry picked from commit 0e5f7be)
(cherry picked from commit d1f7887)
@mhubii
Copy link
Collaborator

mhubii commented Dec 19, 2025

Thanks for the PR! Could you try to checkout the rolling branch on your fork first and to apply changes there :). It appears you applied changes to your jazzy branch.

@thomaskroi1996
Copy link
Contributor Author

@mhubii okay just to clarify, I have the changes on my forks' rolling branch now, but I can't edit this PR to point at that, so should I create a new PR where the base is jazzy and compare with rolling?

@mhubii
Copy link
Collaborator

mhubii commented Dec 20, 2025

Yes so this PR would simply be closed and replaced by a new one.

The problem with this PR is that for some reason it changes 115 files, not sure why, likely because of mismatching branches.

@thomaskroi1996
Copy link
Contributor Author

new PR #344

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