Skip to content

kb(Grid): Fix typo#3765

Merged
dimodi merged 1 commit into
masterfrom
dimodi-patch-1
Jul 1, 2026
Merged

kb(Grid): Fix typo#3765
dimodi merged 1 commit into
masterfrom
dimodi-patch-1

Conversation

@dimodi

@dimodi dimodi commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@dimodi
dimodi requested a review from a team as a code owner June 30, 2026 13:17
@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 30, 2026
@github-actions

Copy link
Copy Markdown
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 a9535d9 into master Jul 1, 2026
1 check passed
@github-actions

github-actions Bot commented Jul 1, 2026

Copy link
Copy Markdown
Contributor

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

@github-actions
github-actions Bot deleted the dimodi-patch-1 branch July 1, 2026 07:50
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.

2 participants