Skip to content

Conversation

mdorn
Copy link
Contributor

@mdorn mdorn commented Dec 6, 2024

Indicated line number does not correspond with current repo.

What does this PR do? What is the motivation?

Merge instructions

Merge readiness:

  • Ready for merge

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

Indicate line number does not correspond with current repo.
@mdorn mdorn requested a review from a team as a code owner December 6, 2024 23:36
@github-actions github-actions bot added the Guide Content impacting a guide label Dec 6, 2024
@rtrieu
Copy link
Contributor

rtrieu commented Dec 9, 2024

/merge

@dd-devflow
Copy link

dd-devflow bot commented Dec 9, 2024

Devflow running: /merge

View all feedbacks in Devflow UI.


2024-12-09 19:44:30 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-12-09 23:44:34 UTC ⚠️ MergeQueue: This merge request was unqueued

This merge request was unqueued

@neko-dd
Copy link
Contributor

neko-dd commented Dec 10, 2024

Hi! In order for automated checks to run successfully, please re-create this PR as a branch following the naming convention yourname/description. Thanks!

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.

3 participants