Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update docs for indexing enhancements #3283

Merged
merged 1 commit into from
Mar 10, 2025

Conversation

andyw8
Copy link
Contributor

@andyw8 andyw8 commented Mar 10, 2025

Closes #2713

@andyw8 andyw8 added the chore Chore task label Mar 10, 2025
@andyw8 andyw8 requested a review from a team as a code owner March 10, 2025 14:46
Copy link

graphite-app bot commented Mar 10, 2025

How to use the Graphite Merge Queue

Add the label graphite-merge to this PR to add it to the merge queue.

You must have a Graphite account in order to use the merge queue. Sign up using this link.

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

Copy link
Contributor

@Morriar Morriar left a comment

Choose a reason for hiding this comment

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

The following Done! sounds weird now that there is only one step.

@andyw8 andyw8 force-pushed the andyw8/update-docs-for-indexing-enhancements branch from 743a94c to cedae06 Compare March 10, 2025 14:57
@andyw8
Copy link
Contributor Author

andyw8 commented Mar 10, 2025

The following Done! sounds weird now that there is only one step.

True, removed.

@andyw8 andyw8 enabled auto-merge (squash) March 10, 2025 14:57
@andyw8 andyw8 merged commit 036f621 into main Mar 10, 2025
42 checks passed
@andyw8 andyw8 deleted the andyw8/update-docs-for-indexing-enhancements branch March 10, 2025 18:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Chore task
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Update docs for index enhancements
2 participants