Skip to content

chore(Introduction): improve getting started article]#3448

Merged
xristianstefanov merged 2 commits intomasterfrom
improve-getting-started
Jan 15, 2026
Merged

chore(Introduction): improve getting started article]#3448
xristianstefanov merged 2 commits intomasterfrom
improve-getting-started

Conversation

@xristianstefanov
Copy link
Contributor

@xristianstefanov xristianstefanov self-assigned this Jan 15, 2026
@xristianstefanov xristianstefanov requested a review from a team as a code owner January 15, 2026 14:52
@xristianstefanov xristianstefanov added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Jan 15, 2026
@xristianstefanov xristianstefanov requested a review from a team as a code owner January 15, 2026 14:52
@github-actions
Copy link
Contributor

Hello @xristianstefanov,

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

Co-authored-by: Dimo Dimov <961014+dimodi@users.noreply.github.com>
@xristianstefanov xristianstefanov merged commit 345d748 into master Jan 15, 2026
@github-actions
Copy link
Contributor

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

@github-actions github-actions bot deleted the improve-getting-started branch January 15, 2026 15:20
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