Skip to content

Comments

Comment out IDE0006 which is no longer used#81804

Merged
JoeRobich merged 1 commit intodotnet:mainfrom
Youssef1313:patch-17
Jan 7, 2026
Merged

Comment out IDE0006 which is no longer used#81804
JoeRobich merged 1 commit intodotnet:mainfrom
Youssef1313:patch-17

Conversation

@Youssef1313
Copy link
Member

No description provided.

@Youssef1313 Youssef1313 requested a review from a team as a code owner December 29, 2025 15:28
@dotnet-policy-service dotnet-policy-service bot added Community The pull request was submitted by a contributor who is not a Microsoft employee. VSCode labels Dec 29, 2025
@JoeRobich JoeRobich merged commit ad6ca75 into dotnet:main Jan 7, 2026
27 checks passed
@dotnet-policy-service dotnet-policy-service bot added this to the Next milestone Jan 7, 2026
@Youssef1313 Youssef1313 deleted the patch-17 branch January 7, 2026 15:24
@davidwengier davidwengier modified the milestones: Next, 18.4 Jan 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-IDE Community The pull request was submitted by a contributor who is not a Microsoft employee. VSCode

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants