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

Duplicate commands in command palette #14562

Closed
DonJayamanne opened this issue Oct 28, 2020 · 4 comments · Fixed by #17838
Closed

Duplicate commands in command palette #14562

DonJayamanne opened this issue Oct 28, 2020 · 4 comments · Fixed by #17838
Assignees
@karrtikr
Labels
area-editor-* User-facing catch-all bug Issue identified by VS Code Team member as probable bug good first issue verified Verification succeeded
Milestone
October 2021

Comments

@DonJayamanne
Copy link

Screen Shot 2020-10-28 at 16 17 08
@DonJayamanne DonJayamanne added bug Issue identified by VS Code Team member as probable bug triage-needed Needs assignment to the proper sub-team labels Oct 28, 2020
@karthiknadig karthiknadig added needs spike Label for issues that need investigation before they can be worked on. area-editor-* User-facing catch-all and removed triage-needed Needs assignment to the proper sub-team labels Oct 29, 2020
@karrtikr karrtikr added good first issue needs PR and removed needs spike Label for issues that need investigation before they can be worked on. labels Oct 22, 2021
@karrtikr karrtikr mentioned this issue Oct 22, 2021
Merged
@karrtikr karrtikr self-assigned this Oct 22, 2021
@karrtikr karrtikr added this to the October 2021 milestone Oct 22, 2021
@karrtikr karrtikr added the verification-needed Verification of issue is requested label Oct 25, 2021
@rchiodo rchiodo added the verified Verification succeeded label Oct 26, 2021
@rchiodo
Copy link

rchiodo commented Oct 26, 2021

/verified

image

@karrtikr
Copy link

Reminder to also remove verification-needed labels, thanks!

@karrtikr karrtikr removed the verification-needed Verification of issue is requested label Oct 26, 2021
@rchiodo
Copy link

rchiodo commented Oct 26, 2021

Reminder to also remove verification-needed labels, thanks!

I don't believe this is necessary because the request for verification needed takes that into account. We need only add the 'verified' label.

@karrtikr
Copy link

Oh I see👍

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 27, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@karrtikr karrtikr

Labels
area-editor-* User-facing catch-all bug Issue identified by VS Code Team member as probable bug good first issue verified Verification succeeded
Projects
None yet
Milestone
October 2021
Development

Successfully merging a pull request may close this issue.

Remove duplicate 'Run Python file' commands in command palette karrtikr/vscode-python
4 participants
@DonJayamanne @karthiknadig @karrtikr @rchiodo