Skip to content

Kb july 2026#3775

Merged
dimodi merged 3 commits into
masterfrom
kb-july-2026
Jul 8, 2026
Merged

Kb july 2026#3775
dimodi merged 3 commits into
masterfrom
kb-july-2026

Conversation

@IvanDanchev

Copy link
Copy Markdown
Contributor

No description provided.

@IvanDanchev IvanDanchev requested a review from a team as a code owner July 2, 2026 11:49
@IvanDanchev IvanDanchev added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Jul 2, 2026
@github-actions

github-actions Bot commented Jul 2, 2026

Copy link
Copy Markdown
Contributor

Hello @IvanDanchev,

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

Comment thread knowledge-base/promptbox-scroll-to-bottom.md Outdated
Comment thread knowledge-base/promptbox-scroll-to-bottom.md Outdated
Comment thread knowledge-base/promptbox-scroll-to-bottom.md
Comment thread knowledge-base/promptbox-scroll-to-bottom.md
Comment thread knowledge-base/treelist-expand-parent-nodes-when-filtering.md
Comment thread knowledge-base/treelist-expand-parent-nodes-when-filtering.md Outdated
Comment thread knowledge-base/treelist-expand-parent-nodes-when-filtering.md Outdated
Comment thread knowledge-base/treelist-expand-parent-nodes-when-filtering.md Outdated
Comment thread knowledge-base/treelist-expand-parent-nodes-when-filtering.md Outdated
Comment thread knowledge-base/treelist-expand-parent-nodes-when-filtering.md Outdated
Comment thread knowledge-base/treelist-expand-parent-nodes-when-filtering.md Outdated
@IvanDanchev IvanDanchev requested a review from dimodi July 3, 2026 14:04
@dimodi dimodi merged commit 9482b94 into master Jul 8, 2026
@github-actions

github-actions Bot commented Jul 8, 2026

Copy link
Copy Markdown
Contributor

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

@github-actions github-actions Bot deleted the kb-july-2026 branch July 8, 2026 07:22
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.

2 participants