Skip to content

Conversation

@andrewlock
Copy link
Member

What does this PR do? What is the motivation?

Update documentation about recently released support for .NET 9

Merge instructions

Merge queue is enabled in this repo. To have it automatically merged after it receives the required reviews, create the PR (from a branch that follows the <yourname>/description naming convention) and then add the following PR comment:

/merge

Additional notes

@andrewlock andrewlock requested review from a team as code owners November 19, 2024 12:30
@andrewlock
Copy link
Member Author

/merge

@dd-devflow
Copy link

dd-devflow bot commented Nov 19, 2024

Devflow running: /merge

View all feedbacks in Devflow UI.


2024-11-19 12:31:02 UTC ℹ️ MergeQueue: waiting for PR to be ready

This merge request is not mergeable yet, because of pending checks/missing approvals. It will be added to the queue as soon as checks pass and/or get approvals.
Note: if you pushed new commits since the last approval, you may need additional approval.
You can remove it from the waiting list with /remove command.


2024-11-19 16:31:10 UTC ⚠️ MergeQueue: This merge request was unqueued

This merge request was unqueued

@jhgilbert jhgilbert self-assigned this Nov 20, 2024
@jhgilbert
Copy link
Contributor

/merge

@dd-devflow
Copy link

dd-devflow bot commented Nov 20, 2024

Devflow running: /merge

View all feedbacks in Devflow UI.


2024-11-20 16:16:04 UTC ℹ️ MergeQueue: pull request added to the queue

The median merge time in master is 28m.

@dd-mergequeue dd-mergequeue bot merged commit 44cfb32 into master Nov 20, 2024
28 of 33 checks passed
@dd-mergequeue dd-mergequeue bot deleted the andrew/add-dotnet9 branch November 20, 2024 16:27
theraffoul pushed a commit that referenced this pull request Nov 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants