Skip to content

Conversation

kendo-bot
Copy link
Collaborator

No description provided.

@kendo-bot kendo-bot requested a review from a team as a code owner June 12, 2025 12:19
@xristianstefanov xristianstefanov self-assigned this Jun 12, 2025
@xristianstefanov xristianstefanov added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Jun 12, 2025
@dimodi
Copy link
Contributor

dimodi commented Jun 12, 2025

merge-to-production no longer makes a difference, because third-party actions are disabled. Create a new PR for the production branch once this one is merged, or ping me to cherry-pick manually.

@xristianstefanov xristianstefanov removed the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Jun 12, 2025
@dimodi dimodi added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Jun 16, 2025
Copy link
Contributor

Hello @dimodi,

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

@xristianstefanov xristianstefanov requested a review from dimodi June 17, 2025 13:58
@xristianstefanov xristianstefanov merged commit eb5c138 into master Jun 18, 2025
Copy link
Contributor

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

@github-actions github-actions bot deleted the new-kb-grid-popup-in-cell-2cc1295152aa498aa36698d1f32cca01 branch June 18, 2025 13:40
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
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants