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

Closed
opened 2026-02-15 17:16:27 -05:00 by yindo · 0 comments
Owner

📋 Pull Request Information

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

Base: mainHead: patch-2


📝 Commits (1)

📊 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:** [@mustafacco7](https://github.com/mustafacco7) **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>
yindo added the pull-request label 2026-02-15 17:16:27 -05:00
yindo closed this issue 2026-02-15 17:16:27 -05:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: open-webui/docs#338