Skip to content

Conversation

@kzu
Copy link
Member

@kzu kzu commented Mar 1, 2023

This can make it easier to filter diagnostics

@kzu kzu added the enhancement New feature or request label Mar 1, 2023
@kzu kzu enabled auto-merge (rebase) March 1, 2023 17:31
@kzu kzu force-pushed the dev/NuGetCategory branch 2 times, most recently from b7359e5 to 4bb147b Compare March 1, 2023 18:26
This can make it easier to filter diagnostics
@kzu kzu force-pushed the dev/NuGetCategory branch from 4bb147b to 8b367c8 Compare March 1, 2023 18:45
@kzu kzu merged commit 6e6ff26 into main Mar 1, 2023
@kzu kzu deleted the dev/NuGetCategory branch March 1, 2023 19:01
@devlooped devlooped locked and limited conversation to collaborators Nov 23, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants