Skip to content

Finalize view badge proposal#159679

Merged
alexr00 merged 2 commits intomainfrom
alexr00/issue62783
Sep 1, 2022
Merged

Finalize view badge proposal#159679
alexr00 merged 2 commits intomainfrom
alexr00/issue62783

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Aug 31, 2022

Fixes #62783

@alexr00 alexr00 enabled auto-merge (squash) August 31, 2022 15:02
@alexr00 alexr00 self-assigned this Aug 31, 2022
@vscodenpa vscodenpa added this to the September 2022 milestone Aug 31, 2022
Copy link
Member

@connor4312 connor4312 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm but there are compile errors

@alexr00 alexr00 merged commit defa802 into main Sep 1, 2022
@alexr00 alexr00 deleted the alexr00/issue62783 branch September 1, 2022 09:12
@github-actions github-actions bot locked and limited conversation to collaborators Oct 16, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

badges on custom activities added to activity bar by extensions

4 participants