starred/headscale
1
0
Fork 0
mirror of https://github.com/juanfont/headscale.git synced 2026-01-11 11:50:30 +01:00
Code Issues 98 Packages Projects Releases 10 Wiki Activity

[PR #2958] go.mod: move go tooling from flake #2966

New Issue
Open
opened 2025-12-29 04:19:51 +01:00 by adam · 0 comments
adam commented 2025-12-29 04:19:51 +01:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/juanfont/headscale/pull/2958
Author: @kradalby
Created: 12/12/2025
Status: 🔄 Open

Base: main ← Head: kradalby/go-tool-over-flake

📝 Commits (1)

  • f19a138 go.mod: move go tooling from flake

📊 Changes

7 files changed (+768 additions, -135 deletions)

View changed files

📝 .pre-commit-config.yaml (+2 -16)
📝 AGENTS.md (+32 -1)
📝 Makefile (+3 -5)
📝 buf.gen.yaml (+5 -9)
📝 flake.nix (+1 -62)
📝 go.mod (+211 -12)
📝 go.sum (+514 -30)

📄 Description

I'm not sure about this one, but for non nix users, this might be better, tho the go tool stuff is a bit rough and I'm not sure if it can be added to path.

🔄 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/2958 **Author:** [@kradalby](https://github.com/kradalby) **Created:** 12/12/2025 **Status:** 🔄 Open **Base:** `main` ← **Head:** `kradalby/go-tool-over-flake` --- ### 📝 Commits (1) - [`f19a138`](https://github.com/juanfont/headscale/commit/f19a138e839be02794ca134038f421471e103437) go.mod: move go tooling from flake ### 📊 Changes **7 files changed** (+768 additions, -135 deletions) <details> <summary>View changed files</summary> 📝 `.pre-commit-config.yaml` (+2 -16) 📝 `AGENTS.md` (+32 -1) 📝 `Makefile` (+3 -5) 📝 `buf.gen.yaml` (+5 -9) 📝 `flake.nix` (+1 -62) 📝 `go.mod` (+211 -12) 📝 `go.sum` (+514 -30) </details> ### 📄 Description I'm not sure about this one, but for non nix users, this might be better, tho the `go tool` stuff is a bit rough and I'm not sure if it can be added to path. --- <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 04:19:51 +01:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
CLI
DERP
DNS
Nix
OIDC
SSH
bug
database
documentation
duplicate
enhancement
faq
good first issue
grants
help wanted
might-come
needs design doc
needs investigation
no-stale-bot
out of scope
performance
policy 📝
pull-request
Mirrored from GitHub Pull Request
 question
regression
routes
stale
tags
tailscale-feature-gap
well described ❤️
wontfix
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
adam
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/headscale#2966
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?