mirror of
https://github.com/open-webui/docs.git
synced 2026-07-21 10:05:26 -04:00
[PR #792] [MERGED] sync #813
Reference in New Issue
Block a user
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/792
Author: @Classic298
Created: 11/6/2025
Status: ✅ Merged
Merged: 11/6/2025
Merged by: @Classic298
Base:
dev← Head:main📝 Commits (5)
3f19a66docs: fix inadequate tool server connections jsonbf46b61docs: add warning about tool connections data structure possible evolution overtime4950737Merge pull request #787 from MathisRouget/docs-fix-inadequate-tool-server-connections-json5e30c67feat(docs): add WSL-specific documentation for Docker5da35b9Merge pull request #790 from silentoplayz/add-WSL-docs📊 Changes
3 files changed (+78 additions, -1 deletions)
View changed files
📝
docs/getting-started/env-configuration.mdx(+26 -1)📝
docs/getting-started/quick-start/index.mdx(+6 -0)➕
docs/getting-started/quick-start/tab-docker/WSL.md(+46 -0)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.