Skip to content

[ignore] #18722

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.

Sign up for GitHub

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

Jump to bottom
Closed
wants to merge 2 commits into from
Closed

[ignore] #18722

wants to merge 2 commits into from

Conversation

@AlexWaygood
Copy link
Member

@AlexWaygood AlexWaygood commented Jun 17, 2025

Summary

Test Plan

@AlexWaygood AlexWaygood changed the title . [ignore] Jun 17, 2025
@AlexWaygood AlexWaygood force-pushed the alex/debug-primer-2 branch from 9fdc9f2 to 936d3d6 Compare June 17, 2025 14:04
@AlexWaygood AlexWaygood force-pushed the alex/debug-primer-2 branch from 936d3d6 to cc1cb2d Compare June 17, 2025 14:19
@github-actions
Copy link
Contributor

github-actions bot commented Jun 17, 2025 •
edited
Loading

mypy_primer results

No ecosystem changes detected ✅

@AlexWaygood AlexWaygood force-pushed the alex/debug-primer-2 branch from cc1cb2d to b8b638b Compare June 17, 2025 14:28
@AlexWaygood
Revert "[ty] Offer "Did you mean...?" suggestions for unresolved `fro…
ac35619 
…m` imports and unresolved attributes (#18705)"

This reverts commit 913f136.
@AlexWaygood AlexWaygood force-pushed the alex/debug-primer-2 branch from b8b638b to 98ed633 Compare June 17, 2025 14:38
@AlexWaygood AlexWaygood mentioned this pull request Jun 17, 2025
Merged
Base automatically changed from alex/debug-primer to main June 17, 2025 14:48
@AlexWaygood AlexWaygood deleted the alex/debug-primer-2 branch June 17, 2025 14:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@carljm carljm Awaiting requested review from carljm carljm will be requested when the pull request is marked ready for review carljm is a code owner

@sharkdp sharkdp Awaiting requested review from sharkdp sharkdp will be requested when the pull request is marked ready for review sharkdp is a code owner

@dcreager dcreager Awaiting requested review from dcreager dcreager will be requested when the pull request is marked ready for review dcreager is a code owner

@MichaReiser MichaReiser Awaiting requested review from MichaReiser MichaReiser will be requested when the pull request is marked ready for review MichaReiser is a code owner

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@AlexWaygood