Skip to content

Conversation

@dimodi
Copy link
Contributor

@dimodi dimodi commented Jan 10, 2025

No description provided.

@dimodi dimodi added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Jan 10, 2025
@dimodi dimodi requested a review from a team as a code owner January 10, 2025 08:22
@github-actions
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

@dimodi dimodi merged commit a3b02d6 into master Jan 10, 2025
2 checks passed
@github-actions
Copy link
Contributor

Automatic cherry-pick & PR to production failed. Ping @telerik/blazor-admins for manual cherry-pick and push to production.

@github-actions github-actions bot deleted the dimodi-patch-1 branch January 10, 2025 08:25
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