Skip to content

Tabstrip Documentation Revamp#3734

Open
dimodi wants to merge 5 commits into
masterfrom
tabstrip-revamp
Open

Tabstrip Documentation Revamp#3734
dimodi wants to merge 5 commits into
masterfrom
tabstrip-revamp

Conversation

@dimodi

@dimodi dimodi commented Jun 14, 2026

Copy link
Copy Markdown
Contributor

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 Jun 14, 2026
@dimodi dimodi requested review from a team as code owners June 14, 2026 16:13
@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

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.

1 participant