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.

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

Should mypy extension README link to mypy linter #20889

Closed
gregvanl opened this issue Mar 21, 2023 · 1 comment · Fixed by microsoft/vscode-mypy#10
Closed

Should mypy extension README link to mypy linter #20889

gregvanl opened this issue Mar 21, 2023 · 1 comment · Fixed by microsoft/vscode-mypy#10
Assignees
@karthiknadig
Labels
area-linting bug Issue identified by VS Code Team member as probable bug verified Verification succeeded
Milestone
April 2023

Comments

@gregvanl
Copy link

Testing #20883

Good practice to link to the linter in the README so that users go to the correct mypy linter implementation.
@github-actions github-actions bot added the triage-needed Needs assignment to the proper sub-team label Mar 21, 2023
@karthiknadig karthiknadig mentioned this issue Mar 22, 2023
Merged
@karthiknadig karthiknadig added bug Issue identified by VS Code Team member as probable bug area-linting needs PR Ready to be worked on and removed triage-needed Needs assignment to the proper sub-team labels Mar 29, 2023
@karthiknadig karthiknadig added this to the April 2023 milestone Mar 31, 2023
@karthiknadig
Copy link
Member

Link in the readme.me added :)
image

@karthiknadig karthiknadig added the verified Verification succeeded label Apr 21, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 22, 2023
@eleanorjboyd eleanorjboyd removed the needs PR Ready to be worked on label Dec 14, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@karthiknadig karthiknadig

Labels
area-linting bug Issue identified by VS Code Team member as probable bug verified Verification succeeded
Projects
None yet
Milestone
April 2023
Development

Successfully merging a pull request may close this issue.

Bug fixes from TPI karthiknadig/vscode-mypy
3 participants
@karthiknadig @gregvanl @eleanorjboyd