From e525517e4aeae6cb3b4602edb16d12583d662eea Mon Sep 17 00:00:00 2001 From: Skyler Grey Date: Thu, 18 Sep 2025 22:02:44 +0000 Subject: [PATCH] feat(josh): always pull over http Change-Id: opwyllotpsmxstmpvtstvyptsrkqkpou When we push, josh sometimes seems to pull before it pushes. That causes our SSH key to be used twice, triggering a double pin entry/etc. with a security key. That's mildly annoying... Luckily, we should always be able to pull over http, so we can just use that for all pulls whether we're nominally using SSH or not! --- packetmix/systems/teal/josh.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/packetmix/systems/teal/josh.nix b/packetmix/systems/teal/josh.nix index 1f127fb7..2d248052 100644 --- a/packetmix/systems/teal/josh.nix +++ b/packetmix/systems/teal/josh.nix @@ -22,9 +22,10 @@ url_config = repo: '' [url "https://tangled.org/@freshlybakedca.ke/${repo}"] insteadOf = "https://tangled.org/@freshlybakedca.ke/${repo}.git" + insteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git" [url "ssh://git@tangled.org/freshlybakedca.ke/${repo}"] - insteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git" + pushInsteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git" ''; # ^^ Tangled doesn't support cloning from .git URLs, so we have to not have .git at the end of our repos # ^^ Additionally, we can only push to Tangled over SSH, not HTTP -- 2.43.0