Skip to content

Conversation

@MattGal
Copy link
Member

@MattGal MattGal commented Apr 12, 2021

30 machines have been added and we expect/hope this can now succeed.

This reverts commit 1c7f0c6.

To double check:

…have been added and we expect this can now succeed.

This reverts commit 1c7f0c6.
@MattGal MattGal added the auto-merge Automatically merge PR once CI passes. label Apr 12, 2021
@ghost
Copy link

ghost commented Apr 12, 2021

Hello @MattGal!

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.

Do note that I've been instructed to only help merge pull requests of this repository that have been opened for at least 12 minutes, a condition that will be fulfilled in about 6 minutes. No worries though, I will be back when the time is right! 😉

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.

@ghost ghost merged commit 210a81e into dotnet:main Apr 12, 2021
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.

2 participants