[PR #2217] [MERGED] Add a page for third-party tools #2552

Closed
opened 2025-12-29 03:21:46 +01:00 by adam · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/juanfont/headscale/pull/2217
Author: @nblock
Created: 10/30/2024
Status: Merged
Merged: 11/12/2024
Merged by: @nblock

Base: mainHead: tools


📝 Commits (2)

  • 36923fb Remove status from web-ui docs
  • 4e5f1ff Add page for third-party tools and scripts

📊 Changes

4 files changed (+25 additions, -10 deletions)

View changed files

docs/ref/integration/tools.md (+12 -0)
📝 docs/ref/integration/web-ui.md (+11 -9)
📝 docs/setup/install/community.md (+1 -1)
📝 mkdocs.yml (+1 -0)

📄 Description

As suggested in the chat. Reword and simplify the web-ui page a bit.

  • have read the CONTRIBUTING.md file
  • raised a GitHub issue or discussed it on the projects chat beforehand
  • added unit tests
  • added integration tests
  • updated documentation if needed
  • updated CHANGELOG.md

🔄 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/juanfont/headscale/pull/2217 **Author:** [@nblock](https://github.com/nblock) **Created:** 10/30/2024 **Status:** ✅ Merged **Merged:** 11/12/2024 **Merged by:** [@nblock](https://github.com/nblock) **Base:** `main` ← **Head:** `tools` --- ### 📝 Commits (2) - [`36923fb`](https://github.com/juanfont/headscale/commit/36923fb96d049277d7ad0525766c3a6a34a073ad) Remove status from web-ui docs - [`4e5f1ff`](https://github.com/juanfont/headscale/commit/4e5f1ff1fc8e5f68d5232851c048b1ebccbb34ff) Add page for third-party tools and scripts ### 📊 Changes **4 files changed** (+25 additions, -10 deletions) <details> <summary>View changed files</summary> ➕ `docs/ref/integration/tools.md` (+12 -0) 📝 `docs/ref/integration/web-ui.md` (+11 -9) 📝 `docs/setup/install/community.md` (+1 -1) 📝 `mkdocs.yml` (+1 -0) </details> ### 📄 Description As suggested [in the chat](https://discord.com/channels/896711691637780480/896711692120129540/1299825947142389780). Reword and simplify the web-ui page a bit. - [x] have read the [CONTRIBUTING.md](./CONTRIBUTING.md) file - [ ] raised a GitHub issue or discussed it on the projects chat beforehand - [ ] added unit tests - [ ] added integration tests - [x] updated documentation if needed - [ ] updated CHANGELOG.md --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
adam added the pull-request label 2025-12-29 03:21:46 +01:00
adam closed this issue 2025-12-29 03:21:47 +01:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/headscale#2552