[PR #244] [CLOSED] Create devcontainer.json #359

New issue

Closed

opened 2026-10-18 14:11:27 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-10-18 14:11:27 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/open-webui/docs/pull/244
Author: @ghost
Created: 10/15/2024
Status: ❌ Closed

Base: main ← Head: patch-2

📝 Commits (1)

9ef4c7b Create devcontainer.json

📊 Changes

1 file changed (+5 additions, -0 deletions)

View changed files

➕ .devcontainer/devcontainer.json (+5 -0)

📄 Description

No description provided

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/open-webui/docs/pull/244 **Author:** [@ghost](https://github.com/ghost) **Created:** 10/15/2024 **Status:** ❌ Closed **Base:** `main` ← **Head:** `patch-2` --- ### 📝 Commits (1) - [`9ef4c7b`](https://github.com/open-webui/docs/commit/9ef4c7b0dc38daa0a83e0a6fb59e65cb1ce2ec1e) Create devcontainer.json ### 📊 Changes **1 file changed** (+5 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `.devcontainer/devcontainer.json` (+5 -0) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

bsakaguchi

2026-10-18 14:11:27 +00:00