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

Remove linting code from core extension #22185

Closed
karthiknadig opened this issue Oct 9, 2023 · 1 comment · Fixed by #22266
Closed

Remove linting code from core extension #22185

karthiknadig opened this issue Oct 9, 2023 · 1 comment · Fixed by #22266
Assignees
Labels
feature-request Request for new features or functionality verification-needed Verification of issue is requested verified Verification succeeded
Milestone

Comments

@karthiknadig
Copy link
Member

No description provided.

@karthiknadig karthiknadig added feature-request Request for new features or functionality needs PR Ready to be worked on labels Oct 9, 2023
@karthiknadig karthiknadig self-assigned this Oct 9, 2023
@github-actions github-actions bot removed the needs PR Ready to be worked on label Oct 19, 2023
@karthiknadig karthiknadig added this to the October 2023 milestone Oct 23, 2023
@karthiknadig karthiknadig added the verification-needed Verification of issue is requested label Oct 23, 2023
@karthiknadig
Copy link
Member Author

Verification steps:

  1. Install latest pre-release version of the python extension
  2. Open a python file (to ensure python extension is activated)
  3. Open settings.json try typing "python.linting" and you should NOT see any settings.

@mjbvz mjbvz added the verified Verification succeeded label Oct 24, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 24, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
feature-request Request for new features or functionality verification-needed Verification of issue is requested verified Verification succeeded
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants