freshlybakedca.ke
Your one-stop-cake-shop for everything Freshly Baked has to offer
feat(josh): always pull over http
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!
authored by
Tangled
fb9e5abe
b3d34ff3
+2
-1
+2
-1
projects/packetmix/systems/teal/josh.nix
+2
-1
projects/packetmix/systems/teal/josh.nix
···
22
url_config = repo: ''
23
[url "https://tangled.org/@freshlybakedca.ke/${repo}"]
24
insteadOf = "https://tangled.org/@freshlybakedca.ke/${repo}.git"
25
26
[url "ssh://git@tangled.org/freshlybakedca.ke/${repo}"]
27
-
insteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
28
'';
29
# ^^ Tangled doesn't support cloning from .git URLs, so we have to not have .git at the end of our repos
30
# ^^ Additionally, we can only push to Tangled over SSH, not HTTP
···
22
url_config = repo: ''
23
[url "https://tangled.org/@freshlybakedca.ke/${repo}"]
24
insteadOf = "https://tangled.org/@freshlybakedca.ke/${repo}.git"
25
+
insteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
26
27
[url "ssh://git@tangled.org/freshlybakedca.ke/${repo}"]
28
+
pushInsteadOf = "ssh://git@tangled.org/freshlybakedca.ke/${repo}.git"
29
'';
30
# ^^ Tangled doesn't support cloning from .git URLs, so we have to not have .git at the end of our repos
31
# ^^ Additionally, we can only push to Tangled over SSH, not HTTP