Skip to content

Conversation

@epananth
Copy link
Member

To double check:

Issue -> #9723

@epananth epananth self-assigned this Jun 17, 2022
@epananth epananth requested a review from alexperovich June 18, 2022 01:13
alexperovich
alexperovich previously approved these changes Jun 20, 2022
riarenas
riarenas previously approved these changes Jun 20, 2022
…e.vsmanproj

Co-authored-by: Ricardo Arenas <riarenas@microsoft.com>
@epananth epananth added the auto-merge Automatically merge PR once CI passes. label Jun 20, 2022
@epananth
Copy link
Member Author

/azp run

@ghost
Copy link

ghost commented Jun 20, 2022

Hello @epananth!

Because this pull request has the auto-merge label, I will be glad to assist with helping to merge this pull request once all check-in policies pass.

p.s. you can customize the way I help with merging this pull request, such as holding this pull request until a specific person approves. Simply @mention me (@msftbot) and give me an instruction to get started! Learn more here.

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@ghost ghost merged commit 2d10963 into dotnet:main Jun 20, 2022
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

auto-merge Automatically merge PR once CI passes.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants