+2
-1
packetmix/systems/teal/josh.nix
+2
-1
packetmix/systems/teal/josh.nix
···
22
22
url_config = repo: ''
23
23
[url "https://tangled.org/@freshlybakedca.ke/${repo}"]
24
24
insteadOf = "https://tangled.org/@freshlybakedca.ke/${repo}.git"
25
+
insteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
25
26
26
27
[url "ssh://git@tangled.org/freshlybakedca.ke/${repo}"]
27
-
insteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
28
+
pushInsteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
28
29
'';
29
30
# ^^ Tangled doesn't support cloning from .git URLs, so we have to not have .git at the end of our repos
30
31
# ^^ Additionally, we can only push to Tangled over SSH, not HTTP