Skip to content

Conversation

@karthiknadig
Copy link
Member

@vscodenpa vscodenpa added this to the June 2023 milestone Jun 20, 2023
@karthiknadig karthiknadig reopened this Jun 20, 2023
@karthiknadig karthiknadig merged commit 7a00249 into main Jun 21, 2023
@karthiknadig karthiknadig deleted the karthiknadigupdate-distro branch June 21, 2023 18:17
@github-actions github-actions bot locked and limited conversation to collaborators Aug 5, 2023
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.

Add recommendation patterns recommend to linting and formatting extensions

4 participants