Skip to content

WIP: Implementation of proposed badges API. #139539

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
Closed
matthewjamesadam wants to merge 3 commits into from
Closed

WIP: Implementation of proposed badges API. #139539

matthewjamesadam wants to merge 3 commits into from

Conversation

@matthewjamesadam
Copy link
Contributor

@matthewjamesadam matthewjamesadam commented Dec 20, 2021

This PR fixes #62783.

This is an implementation of the API proposal here: #139229.

@matthewjamesadam matthewjamesadam mentioned this pull request Dec 20, 2021
Closed
@rzhao271 rzhao271 assigned alexr00 and unassigned rzhao271 Dec 27, 2021
@matthewjamesadam
Copy link
Contributor Author

matthewjamesadam commented Mar 30, 2022

This was implemented in this PR: #144775

@github-actions github-actions bot locked and limited conversation to collaborators May 14, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

Copilot code review Copilot Awaiting requested review from Copilot Copilot will automatically review once the pull request is marked ready for review

Assignees

@alexr00 alexr00

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

badges on custom activities added to activity bar by extensions

4 participants

@matthewjamesadam @rzhao271 @alexr00 @vscode-triage-bot