[PR #2247] [MERGED] update docs showing no need for manual port forwarding of Server in G… #3935

Closed
opened 2026-02-22 18:34:48 -05:00 by yindo · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/Mintplex-Labs/anything-llm/pull/2247
Author: @MrSimonC
Created: 9/8/2024
Status: Merged
Merged: 9/9/2024
Merged by: @timothycarambat

Base: masterHead: docs/minor-update-to-devcontainer-githubcodespaces


📝 Commits (1)

  • d3e0acf update docs showing no need for manual port forwarding of Server in GHCodespaces

📊 Changes

1 file changed (+4 additions, -3 deletions)

View changed files

📝 .devcontainer/README.md (+4 -3)

📄 Description

…HCodespaces

Pull Request Type

  • feat
  • 🐛 fix
  • ♻️ refactor
  • 💄 style
  • 🔨 chore
  • 📝 docs

Relevant Issues

resolves #2246

This PR updates the devcontainer setup documentation to reflect that the server will automatically configure its port to be publicly accessible by default. The original text instructed users to manually adjust the port visibility, which is now unnecessary.

The updated text emphasizes that the server requires a public port and provides instructions on how to troubleshoot if issues arise.

What is in this change?

  • Updated "Note when using Github Codespaces" section to reflect automatic port configuration
  • Removed unnecessary instruction to manually adjust port visibility

Additional Information

This PR includes only changes to the devcontainer setup documentation. The rest of the repository remains unchanged.

Developer Validations

  • I ran yarn lint from the root of the repo & committed changes
  • Relevant documentation has been updated
  • I have tested my code functionality
  • Docker build succeeds locally

🔄 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/Mintplex-Labs/anything-llm/pull/2247 **Author:** [@MrSimonC](https://github.com/MrSimonC) **Created:** 9/8/2024 **Status:** ✅ Merged **Merged:** 9/9/2024 **Merged by:** [@timothycarambat](https://github.com/timothycarambat) **Base:** `master` ← **Head:** `docs/minor-update-to-devcontainer-githubcodespaces` --- ### 📝 Commits (1) - [`d3e0acf`](https://github.com/Mintplex-Labs/anything-llm/commit/d3e0acf7d04f2764a8e606ab7033e053427e6143) update docs showing no need for manual port forwarding of Server in GHCodespaces ### 📊 Changes **1 file changed** (+4 additions, -3 deletions) <details> <summary>View changed files</summary> 📝 `.devcontainer/README.md` (+4 -3) </details> ### 📄 Description …HCodespaces ### Pull Request Type <!-- For change type, change [ ] to [x]. --> - [ ] ✨ feat - [ ] 🐛 fix - [ ] ♻️ refactor - [ ] 💄 style - [ ] 🔨 chore - [x] 📝 docs ### Relevant Issues <!-- Use "resolves #xxx" to auto resolve on merge. Otherwise, please use "connect #xxx" --> resolves #2246 This PR updates the devcontainer setup documentation to reflect that the server will automatically configure its port to be publicly accessible by default. The original text instructed users to manually adjust the port visibility, which is now unnecessary. The updated text emphasizes that the server requires a public port and provides instructions on how to troubleshoot if issues arise. ### What is in this change? * Updated "Note when using Github Codespaces" section to reflect automatic port configuration * Removed unnecessary instruction to manually adjust port visibility ### Additional Information This PR includes only changes to the devcontainer setup documentation. The rest of the repository remains unchanged. ### Developer Validations <!-- All of the applicable items should be checked. --> - [ ] I ran `yarn lint` from the root of the repo & committed changes - [x] Relevant documentation has been updated - [ ] I have tested my code functionality - [ ] Docker build succeeds locally --- <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-22 18:34:48 -05:00
yindo closed this issue 2026-02-22 18:34:48 -05:00
yindo changed title from [PR #2247] update docs showing no need for manual port forwarding of Server in G… to [PR #2247] [MERGED] update docs showing no need for manual port forwarding of Server in G… 2026-06-05 15:15:57 -04:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Mintplex-Labs/anything-llm#3935