Closed github-actions[bot] closed 6 months ago
LGTM. @christophfroehlich The commits from GitHub actions bot should avoid the reviewer lottery right? Or am I wrong?
Yes, and it should be excluded here. But maybe the github.actor is Bence in this case (see the first commit), because he was the last one doing something in this repo (can't remember now, but that's the downside of adding PRs with the github-actions bot user).
This pull request contains auto-updated files of the pre-commit config. @ros-controls/ros2-maintainers please run the pre-commit workflow manually on the branch
auto-update-
before merging.