Skip to content

Conversation

@kai-thomas-datadog
Copy link
Contributor

What does this PR do? What is the motivation?

Merge instructions

  • Please merge after reviewing

Additional notes

@kai-thomas-datadog kai-thomas-datadog requested a review from a team as a code owner October 15, 2024 23:22
@github-actions github-actions bot added the Guide Content impacting a guide label Oct 15, 2024
@kai-thomas-datadog
Copy link
Contributor Author

/merge

@dd-devflow
Copy link

dd-devflow bot commented Oct 16, 2024

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

Use /merge -c to cancel this operation!

@dd-devflow
Copy link

dd-devflow bot commented Oct 17, 2024

⚠️ MergeQueue: This merge request was unqueued

This merge request was unqueued

If you need support, contact us on Slack #devflow!

@hestonhoffman hestonhoffman merged commit a6b948c into master Oct 17, 2024
12 of 16 checks passed
@hestonhoffman hestonhoffman deleted the kai-thomas-datadog-patch-2 branch October 17, 2024 20:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Guide Content impacting a guide mergequeue-status: removed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants