Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix typos #27601

Merged
merged 2 commits into from
Feb 12, 2025
Merged

Fix typos #27601

merged 2 commits into from
Feb 12, 2025

Conversation

jordan-th
Copy link
Contributor

@jordan-th jordan-th commented Feb 12, 2025

What does this PR do? What is the motivation?

  1. Replace Add add with Add
  2. Replace legs with logs

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

@jordan-th jordan-th requested review from a team as code owners February 12, 2025 23:30
@github-actions github-actions bot added the Guide Content impacting a guide label Feb 12, 2025
Copy link
Contributor

@brett0000FF brett0000FF left a comment

Choose a reason for hiding this comment

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

Thanks! "legs" 💀

@brett0000FF
Copy link
Contributor

/merge

@dd-devflow
Copy link

dd-devflow bot commented Feb 12, 2025

View all feedbacks in Devflow UI.
2025-02-12 23:43:07 UTC ℹ️ Start processing command /merge


2025-02-12 23:43:13 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.


2025-02-12 23:48:09 UTC ℹ️ MergeQueue: merge request added to the queue

The median merge time in master is 7m.


2025-02-12 23:55:50 UTC ℹ️ MergeQueue: This merge request was merged

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: done
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants