Skip to content

Conversation

@AraHaan
Copy link
Collaborator

@AraHaan AraHaan commented Jul 30, 2021

Checklist

  • I have read the Code of Conduct and the Contributing files before opening this issue.
  • I have verified the issue this pull request fixes or feature this pull request implements is to the current release.
  • I am using the latest stable release with the above code fix or the current main branch if code changes are present (prerelease code changes).
  • I have debugged and tested my changes before submitting this issue and that everything should just work.

Describe the issue this fixes / feature this adds

@mergify mergify bot added the enhancement New feature or request label Jul 30, 2021
@AraHaan AraHaan force-pushed the refector-use-global-usings branch 2 times, most recently from 3f714c6 to 8558639 Compare July 31, 2021 05:16
@AraHaan
Copy link
Collaborator Author

AraHaan commented Jul 31, 2021

Blocked by dotnet/sdk#19446.

Signed-off-by: AraHaan <[email protected]>
@AraHaan AraHaan force-pushed the refector-use-global-usings branch from 8558639 to 5a54445 Compare August 10, 2021 05:23
@AraHaan AraHaan marked this pull request as ready for review August 10, 2021 05:55
@AraHaan AraHaan requested a review from a team as a code owner August 10, 2021 05:55
@mergify mergify bot added the automerge Tells the github actions that this pull request is ready for auto merge. label Aug 10, 2021
@mergify
Copy link

mergify bot commented Aug 10, 2021

This pull request is about to be automerged.

Copy link

@mergify mergify bot left a comment

Choose a reason for hiding this comment

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

Automatically approving since automerge label was found.

@mergify mergify bot merged commit 1e6410e into main Aug 10, 2021
@mergify mergify bot deleted the refector-use-global-usings branch August 10, 2021 05:56
@mergify mergify bot removed the automerge Tells the github actions that this pull request is ready for auto merge. label Aug 10, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants