Skip to content

Conversation

IvanDanchev
Copy link
Contributor

@IvanDanchev IvanDanchev commented Oct 14, 2025

Closes #12387

@IvanDanchev IvanDanchev requested review from a team as code owners October 14, 2025 07:45
@IvanDanchev IvanDanchev added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Oct 14, 2025
Copy link
Contributor

Hello @IvanDanchev,

Check the below option if you would like to automatically generate PR to production. The automation uses the branch for the cherry-pick, and then will delete the branch. Please, do not delete it manually.

  • create PR to production
Copy link
Contributor

@ikoevska ikoevska left a comment

Choose a reason for hiding this comment

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

You're good to go after fixing the issues we discussed on Teams.

@IvanDanchev IvanDanchev merged commit cffffd7 into master Oct 14, 2025
Copy link
Contributor

Here you are the link to your PR to production: #3289

@github-actions github-actions bot deleted the agentic-overview branch October 14, 2025 14:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-to-production Use this label to get a comment to choose whether to merge the PR to production

3 participants