fix: rename docs file to remove-group-machine-identity for consistent naming and fix sidebar#5554
Merged
vmatsiiako merged 1 commit intomainfrom Feb 27, 2026
Merged
Conversation
…y.mdx for consistent naming Co-Authored-By: Vlad Matsiiako <vm265@cornell.edu>
Contributor
Author
🤖 Devin AI EngineerI'll be helping with this pull request! Here's what you should know: ✅ I will automatically:
Note: I can only respond to comments from users who have write access to this repository. ⚙️ Control Options:
|
Collaborator
✅ Snyk checks have passed. No issues have been found so far.
💻 Catch issues earlier using the plugins for VS Code, JetBrains IDEs, Visual Studio, and Eclipse. |
vmatsiiako
approved these changes
Feb 27, 2026
Contributor
Greptile SummaryThis PR correctly renames the documentation file from
Confidence Score: 5/5
Important Files Changed
Last reviewed commit: 4e9a33f |
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
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.
Context
Follow-up to #5553. The sidebar link for "Remove Machine Identity from Group" was broken because the docs file was named
remove-group-identity.mdxwhiledocs.jsonoriginally referencedremove-group-machine-identity. PR #5553 updateddocs.jsonto match the file, but the Mintlify deployment was skipped and the sidebar still appeared broken (no DEL badge, lowercase text).This PR takes the correct approach: rename the file from
remove-group-identity.mdxtoremove-group-machine-identity.mdxto be consistent with its counterpartadd-group-machine-identity.mdx, and updatedocs.jsonto referenceremove-group-machine-identity. This ensures the URL matches what was originally expected (/docs/api-reference/endpoints/groups/remove-group-machine-identity).Steps to verify the change
DELbadge (not plain text)Type
Checklist
Link to Devin run: https://app.devin.ai/sessions/74bfa2d245694980a3ca53480b2dfca7
Requested by: @vmatsiiako