mirror of
https://github.com/open-webui/docs.git
synced 2026-11-05 01:38:13 +00:00
[PR #335] [MERGED] New "Redis Websockets" Docs Page #442
Labels
No labels
bug
documentation
documentation
duplicate
enhancement
enhancement
good first issue
good first issue
good first issue
help wanted
help wanted
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
open-webui/docs#442
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/open-webui/docs/pull/335
Author: @silentoplayz
Created: 12/21/2024
Status: ✅ Merged
Merged: 12/21/2024
Merged by: @silentoplayz
Base:
main← Head:main📝 Commits (1)
1c83f95New "Redis Websockets" Docs Page📊 Changes
4 files changed (+177 additions, -11 deletions)
View changed files
➕
docs/features/usergroups/default-perms.md(+6 -0)📝
docs/getting-started/advanced-topics/env-configuration.md(+20 -0)➕
docs/tutorials/integrations/redis.md(+94 -0)📝
docs/tutorials/integrations/web_search.md(+57 -11)📄 Description
New "Redis Websockets" Docs Page
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.