Skip to content

Conversation

@dimodi
Copy link
Contributor

@dimodi dimodi commented Nov 21, 2024

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 Nov 21, 2024
@dimodi dimodi requested review from a team as code owners November 21, 2024 07:00
@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 changed the title docs(grid): Add missing EditorType column parameter docs(Grid,TreeList): Add missing EditorType column parameter Nov 21, 2024
@dimodi dimodi merged commit 18c4d63 into master Nov 21, 2024
1 check passed
@github-actions
Copy link
Contributor

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

@github-actions github-actions bot deleted the grid-editortype branch November 21, 2024 10:18
VelinovAngel pushed a commit that referenced this pull request Nov 26, 2024
* docs(grid)

* docs(treelist): Add missing EditorType column parameter
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.

3 participants