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

Improve setting description for default interpreter setting #388

Closed
luabud opened this issue Sep 16, 2023 · 3 comments · Fixed by #393
Closed

Improve setting description for default interpreter setting #388

luabud opened this issue Sep 16, 2023 · 3 comments · Fixed by #393
Assignees
Labels
documentation Improvements or additions to documentation good first issue Good for newcomers needs PR

Comments

@luabud
Copy link
Member

luabud commented Sep 16, 2023

Same issue as this: microsoft/vscode-mypy#144

Improve description of the default value of the setting. When it's set to [], it will use the Python extension's selected interpreter. If it's set to a path, it will use that value as the interpreter. See this PR: https://github.com/microsoft/vscode-mypy/pull/152/files

@github-actions github-actions bot added the triage-needed Issue is not triaged. label Sep 16, 2023
@luabud luabud added documentation Improvements or additions to documentation good first issue Good for newcomers needs PR ghc-osd and removed triage-needed Issue is not triaged. labels Sep 16, 2023
@luabud
Copy link
Member Author

luabud commented Sep 18, 2023

We are reserving this issue for Grace Hopper's Open Source Day, which will take place on September 22nd, 2023. If you're part of the event and would like to submit a contribution to this issue, please let us know, and we'll be happy to assign it to you.

For other community members who are not participating in the event, we appreciate your interest in contributing! We kindly request that you wait until after September 22nd to work on this issue. If no one from the event has been assigned to it by then, we'll gladly assign it to you. Thank you for your understanding and support!

@aku1310
Copy link
Contributor

aku1310 commented Sep 21, 2023

Hi @luabud, hope you're doing well!
I will be participating in GHC 2023 and I am interested to work on this issue. Do we have to wait until the Open Source Day starts to be assigned an issue or could it be assigned before as well?

@luabud
Copy link
Member Author

luabud commented Sep 22, 2023

@aku1310 done!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation good first issue Good for newcomers needs PR
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants