Skip to content

Conversation

@MattGal
Copy link
Member

@MattGal MattGal commented Apr 25, 2022

Follow up from #8426 . We didn't need the high importance, we just need to translate errors and warnings to the right type.

To double check:

@MattGal MattGal requested a review from dougbu April 25, 2022 22:23
@MattGal MattGal added the auto-merge Automatically merge PR once CI passes. label Apr 25, 2022
@ghost
Copy link

ghost commented Apr 25, 2022

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. 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.

Copy link
Contributor

@dougbu dougbu left a comment

Choose a reason for hiding this comment

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

🥇

@ghost ghost merged commit 5145e86 into dotnet:main Apr 25, 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