Original PR: https://github.com/open-webui/open-webui/pull/13751 Author: @tjbck Created: 5/10/2025 Status: ✅ Merged Merged: 5/10/2025 Merged by: @tjbck
Base: main ← Head: dev
main
dev
6b5f99b
1 file changed (+3 additions, -1 deletions)
📝 backend/open_webui/retrieval/utils.py (+3 -1)
backend/open_webui/retrieval/utils.py
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.
No dependencies set.
The note is not visible to the blocked user.
📋 Pull Request Information
Original PR: https://github.com/open-webui/open-webui/pull/13751
Author: @tjbck
Created: 5/10/2025
Status: ✅ Merged
Merged: 5/10/2025
Merged by: @tjbck
Base:
main← Head:dev📝 Commits (1)
6b5f99bfix: external reranker📊 Changes
1 file changed (+3 additions, -1 deletions)
View changed files
📝
backend/open_webui/retrieval/utils.py(+3 -1)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.