Skip to content

Clean up diagnostic and solution crawler options#59083

Merged
tmat merged 4 commits intodotnet:mainfrom
tmat:DiagOptions
Jan 26, 2022
Merged

Clean up diagnostic and solution crawler options#59083
tmat merged 4 commits intodotnet:mainfrom
tmat:DiagOptions

Conversation

@tmat
Copy link
Copy Markdown
Member

@tmat tmat commented Jan 26, 2022

No description provided.

@tmat tmat changed the title Clean up global options Clean up diagnostic and solution crawler options Jan 26, 2022
@JoeRobich JoeRobich added UX Review Not Required UX Review Not Required and removed Needs UX Triage labels Jan 26, 2022
@tmat tmat marked this pull request as ready for review January 26, 2022 22:56
@tmat tmat requested a review from a team as a code owner January 26, 2022 22:56
@tmat
Copy link
Copy Markdown
Member Author

tmat commented Jan 26, 2022

@CyrusNajmabadi Thanks!

@tmat tmat merged commit 5f8657a into dotnet:main Jan 26, 2022
@ghost ghost added this to the Next milestone Jan 26, 2022
@tmat tmat deleted the DiagOptions branch January 26, 2022 23:12
333fred added a commit to 333fred/roslyn that referenced this pull request Feb 1, 2022
JoeRobich added a commit that referenced this pull request Feb 1, 2022
Revert "Clean up diagnostic and solution crawler options (#59083)"
tmat added a commit to tmat/roslyn that referenced this pull request Feb 3, 2022
@RikkiGibson RikkiGibson modified the milestones: Next, 17.2.P1 Feb 4, 2022
tmat added a commit to tmat/roslyn that referenced this pull request Feb 10, 2022
tmat added a commit to tmat/roslyn that referenced this pull request Feb 11, 2022
tmat added a commit to tmat/roslyn that referenced this pull request Feb 16, 2022
tmat added a commit to tmat/roslyn that referenced this pull request Feb 17, 2022
tmat added a commit to tmat/roslyn that referenced this pull request Feb 19, 2022
tmat added a commit to tmat/roslyn that referenced this pull request Feb 28, 2022
tmat added a commit to tmat/roslyn that referenced this pull request Mar 3, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants