Skip to content

Add components tag to all documentation articles for better scrapping mechanism #3462

Merged
dimodi merged 1 commit intomasterfrom
add-component-tag
Jan 27, 2026
Merged

Add components tag to all documentation articles for better scrapping mechanism #3462
dimodi merged 1 commit intomasterfrom
add-component-tag

Conversation

@Tsvetomir-Hr
Copy link
Contributor

@Tsvetomir-Hr Tsvetomir-Hr self-assigned this Jan 26, 2026
@Tsvetomir-Hr Tsvetomir-Hr requested review from a team as code owners January 26, 2026 08:35
@dimodi dimodi added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Jan 27, 2026
@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 merged commit 587ef65 into master Jan 27, 2026
1 check passed
@github-actions
Copy link
Contributor

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

@github-actions github-actions bot deleted the add-component-tag branch January 27, 2026 12:42
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