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 December 9, 2024 15:30
@xristianstefanov xristianstefanov self-assigned this Dec 9, 2024
@xristianstefanov xristianstefanov added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Dec 9, 2024
@github-actions
Copy link
Contributor

github-actions bot commented Dec 9, 2024

Hello @xristianstefanov,

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

@dimodi dimodi self-assigned this Dec 13, 2024
@dimodi dimodi merged commit c037f6c into master Dec 13, 2024
1 check passed
@github-actions
Copy link
Contributor

Here you are the link to your PR to production: 2638

@github-actions github-actions bot deleted the new-kb-grid-kb-style-filtered-columns-a758283dec3346e5970379897ec439e8 branch December 13, 2024 08:56
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