Skip to content

Conversation

@ntacheva
Copy link
Contributor

@ntacheva ntacheva commented Jun 4, 2025

@ntacheva ntacheva self-assigned this Jun 4, 2025
@ntacheva ntacheva requested review from a team as code owners June 4, 2025 11:58
@ntacheva ntacheva added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Jun 4, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Jun 4, 2025

Hello @ntacheva,

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 337dc10 into master Jun 13, 2025
dimodi added a commit that referenced this pull request Jun 13, 2025
* chore(TabStrip): add kb for adding and removing tabs

* chore: polish the example and update article content

* polish KB article

---------

Co-authored-by: Tsvetomir Hristov <[email protected]>
Co-authored-by: Dimo Dimov <[email protected]>
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