Skip to content

Fix: add find_person_in_users to tool list - #535

Merged
janepie merged 1 commit into
mainfrom
fix/add-tool
May 11, 2026
Merged

Fix: add find_person_in_users to tool list#535
janepie merged 1 commit into
mainfrom
fix/add-tool

Conversation

@janepie

@janepie janepie commented May 11, 2026

Copy link
Copy Markdown
Member

No description provided.

Signed-off-by: Jana Peper <jana.peper@nextcloud.com>
@janepie
janepie requested a review from marcelklehr May 11, 2026 09:40
@janepie
janepie merged commit 3354846 into main May 11, 2026
16 checks passed
@janepie
janepie deleted the fix/add-tool branch May 11, 2026 12:29
@janepie janepie mentioned this pull request Aug 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants