Skip to content

Conversation

@kendo-bot
Copy link
Collaborator

@kendo-bot kendo-bot commented Sep 30, 2024

@kendo-bot kendo-bot requested a review from a team as a code owner September 30, 2024 11:34
@Tsvetomir-Hr Tsvetomir-Hr requested a review from a team September 30, 2024 11:35
@Tsvetomir-Hr Tsvetomir-Hr self-assigned this Sep 30, 2024
@Tsvetomir-Hr Tsvetomir-Hr added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Sep 30, 2024
@github-actions
Copy link
Contributor

Hello @Tsvetomir-Hr,

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 merged commit e13aeba into master Oct 10, 2024
1 check passed
@github-actions
Copy link
Contributor

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

@github-actions github-actions bot deleted the new-kb-numeric-textbox-kb-zero-decimals-634b4751dce84e6789a95c34ca8ed8e9 branch October 10, 2024 09:02
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.

5 participants