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 #325

Closed
luabud opened this issue Sep 16, 2023 · 7 comments
Closed

Improve setting description for default interpreter setting #325

luabud opened this issue Sep 16, 2023 · 7 comments
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

@luabud luabud added documentation Improvements or additions to documentation good first issue Good for newcomers needs PR ghc-osd 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!

@Riddhi-Thanki
Copy link
Contributor

Hi, I am participating in GHC. Can you assign this issue to me?

@hyndavi17
Copy link

Can I please be assigned @eleanorjboyd

@eleanorjboyd
Copy link
Member

Hi @hyndavi17 this has already been assigned to @Riddhi-Thanki so you could find another issue to work on or ask to collaborate to do a join PR with @Riddhi-Thanki. Thanks!

@hyndavi17
Copy link

Hi, I am participating in GHC. Can you assign this issue to me?

Can we do a joint PR? if its okay with you @Riddhi-Thanki

@Riddhi-Thanki
Copy link
Contributor

Hey @hyndavi17, I have already created a merge request for this issue!

@luabud
Copy link
Member Author

luabud commented Sep 27, 2023

#328

@luabud luabud closed this as completed Sep 27, 2023
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

No branches or pull requests

4 participants