Skip to content

Conversation

gewarren
Copy link
Contributor

@gewarren gewarren commented Nov 9, 2023

Related to dotnet/docs#37734 and dotnet/docs#37739.

(Hide whitespace changes.)

@gewarren gewarren requested a review from a team as a code owner November 9, 2023 01:23
@ghost ghost assigned gewarren Nov 9, 2023
@ghost ghost added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Nov 9, 2023
@ghost
Copy link

ghost commented Nov 9, 2023

I couldn't figure out the best area label to add to this PR. If you have write-permissions please help me learn by adding exactly one area label.

Copy link

Learn Build status updates of commit 3e97a12:

✅ Validation status: passed

File Status Preview URL Details
xml/System.Diagnostics/ProcessStartInfo.xml ✅Succeeded View
xml/System.Linq/Enumerable.xml ✅Succeeded View

For more details, please refer to the build report.

For any questions, please:

Copy link
Member

@BillWagner BillWagner left a comment

Choose a reason for hiding this comment

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

Thanks @gewarren

This LGTM. Let's :shipit:

@gewarren gewarren enabled auto-merge (squash) November 9, 2023 19:44
Copy link

Learn Build status updates of commit 316723a:

✅ Validation status: passed

File Status Preview URL Details
xml/System.Diagnostics/ProcessStartInfo.xml ✅Succeeded View
xml/System.Linq/Enumerable.xml ✅Succeeded View

For more details, please refer to the build report.

For any questions, please:

@gewarren gewarren merged commit 1562af5 into dotnet:main Nov 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants