From 41b461fe1b615a463103cffdb3a0c8ac738b885c Mon Sep 17 00:00:00 2001
From: Anirudh Oppiliappan <anirudh@tangled.sh>
Date: Sun, 17 Aug 2025 06:07:06 +0000
Subject: [PATCH] knotserver: special-case tangled.sh host in push rejection msg

Signed-off-by: Anirudh Oppiliappan <anirudh@tangled.sh>
---
 knotserver/git.go | 4 ++++
 1 file(s) changed, 4 insertion(s)(+), 0 deletion(s)(-)

diff --git a/knotserver/git.go b/knotserver/git.go
--- a/knotserver/git.go
+++ b/knotserver/git.go
@@ -135,6 +135,10 @@
 			hostname = strings.Split(hostname, ":")[0]
 		}
 
+		if hostname == "knot1.tangled.sh" {
+			hostname = "tangled.sh"
+		}
+
 		fmt.Fprintf(w, " Try:\ngit remote set-url --push origin git@%s:%s/%s\n\n... and push again.", hostname, ownerHandle, unqualifiedRepoName)
 	}
 	fmt.Fprintf(w, "\n\n")

--
tangled.sh