Skip to content

Add documentation for index renaming #3351

Merged
guimachiavelli merged 5 commits into
mainfrom
EXP-404-rename-index
Sep 4, 2025
Merged

Add documentation for index renaming #3351
guimachiavelli merged 5 commits into
mainfrom
EXP-404-rename-index

Conversation

@guimachiavelli

Copy link
Copy Markdown
Contributor

Fixes EXP-404

Copy link
Copy Markdown
Contributor Author

gently pinging @irevoire

@irevoire irevoire left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me 👍

@guimachiavelli guimachiavelli merged commit 885456e into main Sep 4, 2025
4 checks passed
@guimachiavelli guimachiavelli deleted the EXP-404-rename-index branch September 4, 2025 16:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

4 participants