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

Redirect old guide to new inferred services page #27384

Merged
merged 3 commits into from
Jan 30, 2025

Conversation

brett0000FF
Copy link
Contributor

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

@brett0000FF brett0000FF requested a review from a team as a code owner January 30, 2025 21:51
@github-actions github-actions bot added the Guide Content impacting a guide label Jan 30, 2025
@brett0000FF
Copy link
Contributor Author

/merge

@dd-devflow
Copy link

dd-devflow bot commented Jan 30, 2025

Devflow running: /merge

View all feedbacks in Devflow UI.


2025-01-30 23:28:47 UTC ℹ️ MergeQueue: pull request added to the queue

The median merge time in master is 7m.


2025-01-30 23:35:33 UTC ℹ️ MergeQueue: This merge request was merged

@dd-mergequeue dd-mergequeue bot merged commit 16150a2 into master Jan 30, 2025
13 of 16 checks passed
@dd-mergequeue dd-mergequeue bot deleted the brett.blue/DOCS-9975 branch January 30, 2025 23:35
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