Feature/automate submodule pin updates - #3
Merged
Merged
Conversation
…file/units The pin baked into the C++ API docs PR (merged as 62a6304) was 54be55e, snapshotted before grippers#36 ("Rework DeviceProfile, extend toString coverage, and enforce API grouping") merged a few hours later. That PR adds the missing \ingroup tags for DeviceProfile and the units.hpp conversions — without it, the deployed Global Index listed k2F85, the units.hpp functions, etc. as "ungrouped (no page on this site)" even though they're real, documented public API. Confirmed clean (0 ungrouped entries) against the bumped commit; confirmed the stale pin reproduces the same entries against the old one. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
mbegin-robotiq
approved these changes
Sep 15, 2026
|
Note that I think that we want to encourage users to prefer the released versions of the SDK and only use the main branch if they need a new feature or bugfix there. With the change in this PR, I believe we will be documenting the main branch always. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Bumps
external/2f85_cppto its latest commit, and adds automation sothis doesn't go stale again: Dependabot (
gitsubmoduleecosystem) checksevery registered submodule daily and opens a PR when one falls behind,
and a new workflow auto-approves and merges it — safely gated by the
build-and-teststatus check, now required onmain.Test plan