Skip to content

Remove resolved TODO in allowed_indexes#14912

Merged
charliermarsh merged 1 commit intomainfrom
charlie/todo
Jul 26, 2025
Merged

Remove resolved TODO in allowed_indexes#14912
charliermarsh merged 1 commit intomainfrom
charlie/todo

Conversation

@charliermarsh
Copy link
Member

Summary

This got solved in #14858.

@charliermarsh charliermarsh added the internal A refactor or improvement that is not user-facing label Jul 26, 2025
@charliermarsh charliermarsh marked this pull request as ready for review July 26, 2025 03:52
@charliermarsh charliermarsh temporarily deployed to uv-test-registries July 26, 2025 03:54 — with GitHub Actions Inactive
@charliermarsh charliermarsh enabled auto-merge (squash) July 26, 2025 04:00
@charliermarsh charliermarsh merged commit 0a51489 into main Jul 26, 2025
92 checks passed
@charliermarsh charliermarsh deleted the charlie/todo branch July 26, 2025 04:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal A refactor or improvement that is not user-facing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments