Skip to content

Conversation

wli3
Copy link

@wli3 wli3 commented Aug 17, 2020

No description provided.

@wli3 wli3 added auto-merge Automatically merge PR once CI passes. Auto-Merge If Tests Pass labels Aug 17, 2020
@ghost
Copy link

ghost commented Aug 17, 2020

Hello @wli3!

Because this pull request has the Auto-Merge If Tests Pass 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 4 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.

@wli3 wli3 force-pushed the fix-designer-time-issue branch from 3862cf8 to 9e20c39 Compare August 17, 2020 22:21
@ghost ghost merged commit 5eab3f3 into dotnet:release/5.0.1xx-preview8 Aug 18, 2020
@wli3 wli3 deleted the fix-designer-time-issue branch August 18, 2020 03:55
This pull request was closed.
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.

3 participants