a.starrysky.fyi
Tangled has renamed from https://tangled.sh to https://tangled.org
https://bsky.app/profile/tangled.org/post/3lz5dmdtl4s2s
We love that for them - but Josh doesn't properly follow the redirects for http URLs so we'll have to change them...
+6
-6
packetmix/systems/teal/josh.nix
+6
-6
packetmix/systems/teal/josh.nix
···
20
20
environment =
21
21
let
22
22
url_config = repo: ''
23
-
[url "https://tangled.sh/@freshlybakedca.ke/${repo}"]
24
-
insteadOf = "https://tangled.sh/@freshlybakedca.ke/${repo}.git"
23
+
[url "https://tangled.org/@freshlybakedca.ke/${repo}"]
24
+
insteadOf = "https://tangled.org/@freshlybakedca.ke/${repo}.git"
25
25
26
-
[url "ssh://git@tangled.sh/freshlybakedca.ke/${repo}"]
27
-
insteadOf = "ssh://git@tangled.sh/freshlybakedca.ke/${repo}.git"
26
+
[url "ssh://git@tangled.org/freshlybakedca.ke/${repo}"]
27
+
insteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
28
28
'';
29
29
# ^^ Tangled doesn't support cloning from .git URLs, so we have to not have .git at the end of our repos
30
30
# ^^ Additionally, we can only push to Tangled over SSH, not HTTP
···
47
47
script =
48
48
"${pkgs.josh}/bin/josh-proxy"
49
49
+ " --local /var/lib/josh/local"
50
-
+ " --remote https://tangled.sh/@freshlybakedca.ke"
51
-
+ " --remote ssh://git@tangled.sh/freshlybakedca.ke"
50
+
+ " --remote https://tangled.org/@freshlybakedca.ke"
51
+
+ " --remote ssh://git@tangled.org/freshlybakedca.ke"
52
52
+ " --port 1032";
53
53
};
54
54