Skip to content

remove obsolete index-update-rework MCP#3345

Merged
GuillaumeGomez merged 1 commit into
rust-lang:mainfrom
syphar:obsolete-mcp
May 21, 2026
Merged

remove obsolete index-update-rework MCP#3345
GuillaumeGomez merged 1 commit into
rust-lang:mainfrom
syphar:obsolete-mcp

Conversation

@syphar
Copy link
Copy Markdown
Member

@syphar syphar commented May 20, 2026

see #785 and rust-lang/all-hands-2026#5

None of the solutions we find will use the git index.

@syphar syphar requested a review from a team as a code owner May 20, 2026 13:19
@syphar syphar self-assigned this May 20, 2026
@github-actions github-actions Bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label May 20, 2026
@GuillaumeGomez GuillaumeGomez merged commit 06259d7 into rust-lang:main May 21, 2026
14 checks passed
@GuillaumeGomez GuillaumeGomez deleted the obsolete-mcp branch May 21, 2026 17:14
@github-actions github-actions Bot added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels May 21, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants